02624nam1 2200577 450 99000334586020331620091110090339.0000334586USA01000334586(ALEPH)000334586USA0100033458620091110d19..----km-y0itay50------baengNL||||||||001yyStudies in logic and the foundations of mathematicsL. E. J. Brouwer, E. W. Beth, A. Heyting (Eds.)AmsterdamNorth-Holland publishing19...v.24 cmMatematica510BROUWER,L. E. J.BETH,E. W.HEYTING,A.ITsalbcISBD990003345860203316510 SL/CBS510BKSCIRSIAV79020091110USA010903Studies in logic and the foundations of mathematics1124662UNISA0019900032285802033162001 Solvable cases of the decision problem0019900032286002033162001 <<A>> transfinite type theory with type variables0019900032286302033162001 <<The>> lambda calculusits syntax and semantics0019900032286402033162001 <<A>> deductive theory of space and time0019900032286502033162001 Axiomatic set theory0019900032286602033162001 Ancient formal logic0019900032287002033162001 <<The>> collected papers of Gerhard Gentzen0019900032287302033162001 Contributions to non-standard analysis0019900032287402033162001 Model theory0019900032287602033162001 Logic in algebraic formthree languages and theories0019900032287802033162001 Constructive order types0019900032288102033162001 Combinatory logic0019900032288302033162001 Outlines of a formalist philosophy of mathematics0019900032288502033162001 Large infinitary languages0019900032288702033162001 Dictionary of symbols of mathematical logic0019900032289102033162001 Set theoryan introduction to large cardinals0019900032289202033162001 Intuitionistic logic model theory and forcing0019900032289302033162001 Abstract set theory0019900032289402033162001 Foundations of set theory0019900032290202033162001 Generalized recursion theoryproceedings of the 1972 Oslo symposium