LEADER 02353nam  2200481   450 
001 9910513580003321
005 20220831122403.0
010   $a3-030-87296-3
035   $a(MiAaPQ)EBC6827717
035   $a(Au-PeEL)EBL6827717
035   $a(CKB)20151343500041
035   $a(OCoLC)1290021778
035   $a(PPN)25938576X
035   $a(EXLCZ)9920151343500041
100   $a20220831d2021      uy             0
101 0 $aeng
135   $aurcnu||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aKurt Go?del $ethe Princeton lectures on intuitionism /$fMaria Ha?meen-Anttila and Jan von Plato
210  1$aCham, Switzerland :$cSpringer International Publishing,$d[2021]
210  4$d©2021
215   $a1 online resource (ix, 133 pages)
225 1 $aSources and studies in the history of mathematics and physical sciences,$x2196-8829
311 08$aPrint version: Hämeen-Anttila, Maria Kurt Gödel Cham : Springer International Publishing AG,c2022 9783030872953 
320   $aIncludes bibliographical references and index.
327   $aIntro -- Preface -- Acknowledgements -- Contents -- Introduction: Gödel's functional interpretation in context -- Content of the lectures -- Sources -- The intuitionistic viewpoint -- Between intuitionistic and classical logic -- Vagueness and absurdity: Gödel's critique of intuitionism -- The constructive system ? and the calculability question -- Interpretation of intuitionistic arithmetic in system ? -- Applications of the ?-translation -- After the seventeen-year silence -- Princeton Lectures on Intuitionism -- Notebook 1 -- Notebook 2 -- Proof of the soundness of the intuitionistic axioms -- Notes on recursive functions -- References -- Index of names in the Princeton Lectures.
410  0$aSources and studies in the history of mathematics and physical sciences.
606   $aLogic, Symbolic and mathematical
606   $aIntuitionistic mathematics
615  0$aLogic, Symbolic and mathematical.
615  0$aIntuitionistic mathematics.
676   $a160
700   $aHa?meen-Anttila$b Maria$01255025
702   $aVon Plato$b Jan
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910513580003321
996   $aKurt Go?del$92909946
997   $aUNINA