Hanbdook of logic in computer science. Volume 5, Logic and algebraic methods / edited by S. Abramsky, Dov M. Gabbay and T.S.E. Maibaum.

Call Number
511.3
Title
Hanbdook of logic in computer science. edited by S. Abramsky, Dov M. Gabbay and T.S.E. Maibaum.
Logic and algebraic methods
Physical Description
1 online resource (xviii, 537 pages) : illustrations.
Series
Oxford scholarship online
Notes
Previously issued in print: Oxford: Clarendon Press, 2000.
Summary
Logic is now widely recognized as one of the foundational disciplines of computing, and its applications reach almost every aspect of the subject, from software engineering and hardware to programming languages and AI. 'The Handbook of Logic in Computer Science' is a multi-volume work covering all the major areas of application of logic to theoretical computer science. The handbook comprises six volumes, each containing five or six chapters giving an in-depth overview of one of the major topics in field. 'Logic and Algebraic Methods' covers all the fundamental topics of semantics in logic and computation. The extensive chapters are the result of several years of coordinated research, and each have thematic perspective.
Added Author
Abramsky, Samson, 1953- editor.
Gabbay, Dov M., 1945- editor.
Maibaum, Thomas S. E., 1947- editor.
Subject
LOGIC, SYMBOLIC AND MATHEMATICAL.
Computer science Mathematics.
Multimedia
Total Ratings: 0
No records found to display.
 
 
 
02395nam a2200445 i 4500
001
 
 
vtls001594571
003
 
 
VRT
005
 
 
20220808223600.0
006
 
 
m|||||o||d||||||||
007
 
 
cr |||||||||||
008
 
 
220808r20202000enka   fob    001|0|eng|d
020
$a 9780191916663 (ebook) : $c No price
035
$a (StDuBDS)EDZ0002351336
039
9
$y 202208082236 $z santha
040
$a StDuBDS $b eng $c StDuBDS $e rda $e pn
050
4
$a QA9
082
0
4
$a 511.3 $2 23
245
0
0
$a Hanbdook of logic in computer science. $n Volume 5, $p Logic and algebraic methods / $c edited by S. Abramsky, Dov M. Gabbay and T.S.E. Maibaum.
246
3
0
$a Logic and algebraic methods
264
1
$a Oxford : $b Oxford University Press, $c 2020.
300
$a 1 online resource (xviii, 537 pages) : $b illustrations.
336
$a text $2 rdacontent
336
$a still image $2 rdacontent
337
$a computer $2 rdamedia
338
$a online resource $2 rdacarrier
490
1
$a Oxford scholarship online
500
$a Previously issued in print: Oxford: Clarendon Press, 2000.
504
$a Includes bibliographical references and index.
520
8
$a Logic is now widely recognized as one of the foundational disciplines of computing, and its applications reach almost every aspect of the subject, from software engineering and hardware to programming languages and AI. 'The Handbook of Logic in Computer Science' is a multi-volume work covering all the major areas of application of logic to theoretical computer science. The handbook comprises six volumes, each containing five or six chapters giving an in-depth overview of one of the major topics in field. 'Logic and Algebraic Methods' covers all the fundamental topics of semantics in logic and computation. The extensive chapters are the result of several years of coordinated research, and each have thematic perspective.
521
$a Specialized.
588
$a Description based on print version record.
650
0
$a LOGIC, SYMBOLIC AND MATHEMATICAL.
650
0
$a Computer science $x Mathematics.
700
1
$a Abramsky, Samson, $d 1953- $e editor.
700
1
$a Gabbay, Dov M., $d 1945- $e editor.
700
1
$a Maibaum, Thomas S. E., $d 1947- $e editor.
776
0
8
$i Print version : $z 9780198537816
830
0
$a Oxford scholarship online.
856
4
0
$3 Oxford scholarship online $u https://dx.doi.org/10.1093/oso/9780198537816.001.0001
999
$a VIRTUA               
No Reviews to Display
Summary
Logic is now widely recognized as one of the foundational disciplines of computing, and its applications reach almost every aspect of the subject, from software engineering and hardware to programming languages and AI. 'The Handbook of Logic in Computer Science' is a multi-volume work covering all the major areas of application of logic to theoretical computer science. The handbook comprises six volumes, each containing five or six chapters giving an in-depth overview of one of the major topics in field. 'Logic and Algebraic Methods' covers all the fundamental topics of semantics in logic and computation. The extensive chapters are the result of several years of coordinated research, and each have thematic perspective.
Notes
Previously issued in print: Oxford: Clarendon Press, 2000.
Subject
LOGIC, SYMBOLIC AND MATHEMATICAL.
Computer science Mathematics.
Multimedia