Introduction to mathematical logic and type theory to truth through proof by Peter B. Andrews
Andrews, Peter B.| Call Number | 511.3 An27I |
| Author | Andrews, Peter B. |
| Title | Introduction to mathematical logic and type theory to truth through proof by Peter B. Andrews |
| Publication | Orlando: Academic Press, c1986. |
| Physical Description | 304p. |
| Series | Computer Science and Applied Mathematics; a Series of Monographs and Textbooks |
| Subject | LOGIC, SYMBOLIC AND MATHEMATICAL TYPE THEORY |
Total Ratings:
0
00800 amaa2200229zu 4500
001
vtls000003093
003
VRT
005
20040101152900.0
008
020601nuuuuuuuuvaua s000 eng d
035
$a 103066
039
9
$a 200401011529 $b staff $c 200306271919 $d VLOAD $y 200206011024 $z VLOAD
040
$a VTLS
082
1
0
$a 511.3 $b An27I
100
1
$a Andrews, Peter B.
245
1
$a Introduction to mathematical logic and type theory $b to truth through proof $c by Peter B. Andrews
260
$a Orlando: $b Academic Press, $c c1986.
300
$a 304p.
440
$a Computer Science and Applied Mathematics; a Series of Monographs and Textbooks
650
0
$a LOGIC, SYMBOLIC AND MATHEMATICAL
650
0
$a TYPE THEORY
999
$a VIRTUA00
999
$a VTLSSORT0080*0350*0400*0820*1000*2450*2600*3000*4400*6500*6501*9991
No Reviews to Display
| Subject | LOGIC, SYMBOLIC AND MATHEMATICAL TYPE THEORY |