Proof theory proceedings, by Gaisi Takeuti
Symposium on Intuitionism and Proof theory, Buffalo, 1968.| Call Number | 511.3 Sy68P |
| Author | Symposium on Intuitionism and Proof theory, Buffalo, 1968. |
| Title | Proof theory proceedings, by Gaisi Takeuti |
| Publication | Amsterdam: North Holland, 1987. |
| Physical Description | 490p. |
| Series | Studies in logic and the foundations of mathematics; v.81 |
| Added Author | Takeuti, Gaisi |
| Subject | PROOF THEORY |
Total Ratings:
0
00758 amaa2200229zu 4500
001
vtls000000753
003
VRT
005
20160510100100.0
008
020601nuuuuuuuuvaua s000 eng d
035
$a 100726
039
9
$a 201605101001 $b thirupathi $c 200306271907 $d VLOAD $y 200206011005 $z VLOAD
040
$a VTLS
082
1
0
$a 511.3 $b Sy68P
100
1
$a Symposium on Intuitionism and Proof theory, Buffalo, 1968.
245
1
$a Proof theory $b proceedings, $c by Gaisi Takeuti
260
$a Amsterdam: $b North Holland, $c 1987.
300
$a 490p.
440
$a Studies in logic and the foundations of mathematics; v.81
650
0
$a PROOF THEORY
700
1
$a Takeuti, Gaisi
999
$a VIRTUA00
999
$a VTLSSORT0080*0350*0400*0820*1000*2450*2600*3000*4400*6500*7000*9992
No Reviews to Display
| Subject | PROOF THEORY |