| Record ID | OpenLibraries-Trent-MARCs/tier1.mrc:13690835:647 |
| Source | OpenLibraries-Trent-MARCs |
| Download Link | /show-records/OpenLibraries-Trent-MARCs/tier1.mrc:13690835:647?format=raw |
LEADER: 00647cam 2200205 a 4500
001 0116301997429
008 890317s1966 ne b eng u
035 $a(Sirsi) AAQ-0379
035 $a22781685.C..
040 $aOPET$beng
090 0 $aBC 135 .H4 1966$bb
100 1 $aHeyting, A.$q(Arend),$d1898-
245 10 $aIntuitionism :$ban introduction.
250 $a2d rev. ed.
260 $aAmsterdam :$bNorth-Holland Pub. Co.,$c1966.
300 $a136 p.
440 0 $aStudies in logic and the foundations of mathematics.
504 $aIncludes bibliographical references.
650 0 $aLogic, Symbolic and mathematical.
650 0 $aMathematics$xMethodology.