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 LEADER 01546nam 2200349 450 001 9910135780903321 005 20231206173706.0 010 $a1-55937-042-4 024 7 $a10.1109/IEEESTD.1990.115567 035 $a(CKB)3780000000089111 035 $a(NjHacI)993780000000089111 035 $a(EXLCZ)993780000000089111 100 $a20231206d1990 uy 0 101 0 $aeng 135 $aur||||||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aANSI Std N42.15-1990 $eAmerican National Standard for Performance Verification of Liquid-Scintillation Counting Systems /$fInstitute of Electrical and Electronics Engineers 210 1$aNew York, New York :$cIEEE,$d1990. 215 $a1 online resource (17 pages) 330 $aProvides designers and users with tests and procedures to assure that a liquid-scintillation counting system is producing reliable data. This standard does not cover the calculation of sample activity for quenched unknown samples, sample preparation, efficiency correlation, (quench correction) procedures, or identification of unknown radionuclides. 517 $aANSI Std N42.15-1990: American National Standard Performance Verification of Liquid-Scintillation Counting Systems 606 $aLiquid scintillation counting 615 0$aLiquid scintillation counting. 676 $a574.028 801 0$bNjHacI 801 1$bNjHacl 906 $aDOCUMENT 912 $a9910135780903321 996 $aANSI Std N42.15-1990$92576182 997 $aUNINA