Computability and logic, by G. Boolos and Richard Jeffrey

Boolos, George
Call Number
511.3 B64C
Author
Boolos, George
Title
Computability and logic, by G. Boolos and Richard Jeffrey
Edition
2d
Publication
Cambridge The University Press 1987, c1980
Physical Description
285p.
Added Author
Jeffrey, Richard
Subject
LOGIC, SYMBOLIC AND MATHEMATICAL
Total Ratings: 0
Location Call Number Barcode Item Class Units Copy Number Status  
IGM Library 511.3 B64C 137631 Books 1 Available
 
 
 
00594 amaa2200217zu 4500
001
 
 
vtls000008294
003
 
 
VRT
005
 
 
20030627194400.0
008
 
 
020601nuuuuuuuuvaua         s000   eng d
035
$a 108267
039
9
$a 200306271944 $b VLOAD $y 200206011047 $z VLOAD
040
$a VTLS
082
1
0
$a 511.3 $b B64C
100
1
$a Boolos, George
245
1
$a Computability and logic, $c by G. Boolos and Richard Jeffrey
250
$a 2d
260
$a Cambridge $b The University Press $c 1987, c1980
300
$a 285p.
650
0
$a LOGIC, SYMBOLIC AND MATHEMATICAL
700
1
$a Jeffrey, Richard
999
$a VIRTUA00
No Reviews to Display
Subject
LOGIC, SYMBOLIC AND MATHEMATICAL