LEADER 03004nam  2200589   450 
001 996466645803316
005 20220428114639.0
010   $a3-540-36884-1
024 7 $a10.1007/BFb0066770
035   $a(CKB)1000000000438460
035   $a(SSID)ssj0000321729
035   $a(PQKBManifestationID)12041905
035   $a(PQKBTitleCode)TC0000321729
035   $a(PQKBWorkID)10281027
035   $a(PQKB)11422631
035   $a(DE-He213)978-3-540-36884-7
035   $a(MiAaPQ)EBC5584828
035   $a(MiAaPQ)EBC6698628
035   $a(Au-PeEL)EBL5584828
035   $a(OCoLC)1066199866
035   $a(Au-PeEL)EBL6698628
035   $a(PPN)15519268X
035   $a(EXLCZ)991000000000438460
100   $a20220428d1973      uy             0
101 0 $aeng
135   $aurnn#008mamaa
181   $ctxt
182   $cc
183   $acr
200 00$aCambridge summer school in Mathematical logic $eheld in Cambridge/England, August 1-21, 1971 /$fedited by A.R.D. Mathias, H. Rogers
205   $a1st ed. 1973.
210  1$aBerlin, Heidelberg :$cSpringer-Verlag,$d[1973]
210  4$d©1973
215   $a1 online resource (XII, 664 p.)
225 1 $aLecture Notes in Mathematics ;$v337
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-540-05569-X 
327   $aLectures on intuitionism -- Realizability: A retrospective survey -- Some applications of Kleene's methods for intuitionistic systems -- Notes on intuitionistic second order arithmetic -- Some properties of intuitionistic zermelo-frankel set theory -- Ouelques Resultats sur les Interpretations Fonctionnelles -- Combinator realizability of constructive finite type analysis -- The arithmetic theory of constructions -- The priority method for the construction of recursively enumerable sets -- Admissible ordinals and priority arguments -- Abstract computability versus analog-generability (a survey) -- Infinitary combinatorics -- The maximum sum of a family of ordinals -- Effective implications between the "finite" choice axioms -- On descendingly complete ultrafilters -- XVI. A model for the negation of the axiom of choice -- Filters closed under MAHLO's and GAIFMAN's operation -- On chromatic number of graphs and set systems -- Countable models of set theories -- Errata -- Descriptive set theory in  -- Modal model theory -- A preservation theorem for interpretations -- Vaught sentences and Lindström's regular relations.
410  0$aLecture notes in mathematics (Springer-Verlag) ;$v337.
606   $aLogic, Symbolic and mathematical$vCongresses
615  0$aLogic, Symbolic and mathematical
676   $a511.3
686   $a03-06$2msc
702   $aMathias$b A. R. D$g(Adrian Richard David),$f1944-
702   $aRogers$b Hartley$cJr.,$f1926-2015,
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a996466645803316
996   $aCambridge Summer school in mathematical logic$9262821
997   $aUNISA