LEADER 02624nam1 2200577 450 001 990003345860203316 005 20091110090339.0 035 $a000334586 035 $aUSA01000334586 035 $a(ALEPH)000334586USA01 035 $a000334586 100 $a20091110d19..----km-y0itay50------ba 101 $aeng 102 $aNL 105 $a||||||||001yy 200 1 $aStudies in logic and the foundations of mathematics$fL. E. J. Brouwer, E. W. Beth, A. Heyting (Eds.) 210 $aAmsterdam$cNorth-Holland publishing$d19... 215 $av.$d24 cm 606 0 $aMatematica 676 $a510 702 1$aBROUWER,$bL. E. J. 702 1$aBETH,$bE. W. 702 1$aHEYTING,$bA. 801 0$aIT$bsalbc$gISBD 912 $a990003345860203316 951 $a510 SL/$bCBS$c510 959 $aBK 969 $aSCI 979 $aRSIAV7$b90$c20091110$lUSA01$h0903 996 $aStudies in logic and the foundations of mathematics$91124662 997 $aUNISA 998 \\$1001990003228580203316$12001 $aSolvable cases of the decision problem 998 \\$1001990003228600203316$12001 $a<> transfinite type theory with type variables 998 \\$1001990003228630203316$12001 $a<> lambda calculus$eits syntax and semantics 998 \\$1001990003228640203316$12001 $a<> deductive theory of space and time 998 \\$1001990003228650203316$12001 $aAxiomatic set theory 998 \\$1001990003228660203316$12001 $aAncient formal logic 998 \\$1001990003228700203316$12001 $a<> collected papers of Gerhard Gentzen 998 \\$1001990003228730203316$12001 $aContributions to non-standard analysis 998 \\$1001990003228740203316$12001 $aModel theory 998 \\$1001990003228760203316$12001 $aLogic in algebraic form$ethree languages and theories 998 \\$1001990003228780203316$12001 $aConstructive order types 998 \\$1001990003228810203316$12001 $aCombinatory logic 998 \\$1001990003228830203316$12001 $aOutlines of a formalist philosophy of mathematics 998 \\$1001990003228850203316$12001 $aLarge infinitary languages 998 \\$1001990003228870203316$12001 $aDictionary of symbols of mathematical logic 998 \\$1001990003228910203316$12001 $aSet theory$ean introduction to large cardinals 998 \\$1001990003228920203316$12001 $aIntuitionistic logic model theory and forcing 998 \\$1001990003228930203316$12001 $aAbstract set theory 998 \\$1001990003228940203316$12001 $aFoundations of set theory 998 \\$1001990003229020203316$12001 $aGeneralized recursion theory$eproceedings of the 1972 Oslo symposium