01198nam2-2200373---450-99000322892020331620091110094711.07204-2256-6000322892USA01000322892(ALEPH)000322892USA0100032289220090427d1969----km-y0itay50------baengNL||||||||001yyIntuitionistic logic model theory and forcingMelvin Chris FittingA. Heyting...[et al.] (Eds.)AmsterdamNorth-Holland1969191 p.ill.23 cmStudies in logic and the foundations of mathematics160010003345862001Studies in logic and the foundations of mathematics16Logica matematica511.3FITTING,Melvin Chris46831HEYTING,A.ITsalbcISBD990003228920203316510 SL 161153/CBS51000218723BKSCIRSIAV79020090427USA011209RSIAV79020091110USA010947Intuitionistic logic model theory and forcing343156UNISA