LEADER 01653nas 2200493-a 450 001 9910345143903321 005 20220712213020.0 035 $a(OCoLC)1083333630 035 $a(CKB)1000000000307665 035 $a(CONSER)cn2006301781 035 $a(EXLCZ)991000000000307665 100 $a20061102a20039999 s-- a 101 0 $aeng 135 $aurcn||||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aCanadian diversity =$eDiversité canadienne 210 $aMontréal $cAssociation for Canadian Studies = Association d'études canadiennes$d2002- 300 $aTitle from journal home page (viewed on Nov. 2, 2006). 300 $aDistributed by the Government of Canada Depository Services Program. 300 $aEach issue also has a distinctive title. 311 $a1711-1870 517 3 $aDiversité canadienne 606 $aMulticulturalism$zCanada$vPeriodicals 606 $aCultural pluralism$zCanada$vPeriodicals 606 $aDiversité culturelle$zCanada$vPériodiques 606 $aMulticulturalisme$zCanada$vPériodiques 606 $aMulticulturalism$2fast$3(OCoLC)fst01028836 607 $aCanada$2fast 608 $aPeriodicals.$2fast 615 0$aMulticulturalism 615 0$aCultural pluralism 615 6$aDiversité culturelle 615 6$aMulticulturalisme 615 7$aMulticulturalism. 676 $a305.8/00971 686 $acci1icc$2lacc 686 $acoll11$2lacc 712 02$aAssociation for Canadian Studies. 906 $aJOURNAL 912 $a9910345143903321 996 $aCanadian diversity$91980273 997 $aUNINA LEADER 02351nam 2200481 450 001 996466555803316 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 $a996466555803316 996 $aKurt Go?del$92909946 997 $aUNISA