02026nam 2200589 450 991082770190332120230912140238.02-7637-0997-4(CKB)2560000000054505(OCoLC)698431340(CaPaEBR)ebrary10424103(SSID)ssj0000978711(PQKBManifestationID)11608026(PQKBTitleCode)TC0000978711(PQKBWorkID)10942123(PQKB)11264343(CaBNvSL)slc00225725(CEL)434751(VaAlCD)20.500.12592/93pxtf(MiAaPQ)EBC4796214(MiAaPQ)EBC3271143(EXLCZ)99256000000005450520170224h20102010 uy 0freurcn|||||||||txtccrLogique arithmetique l'arithmetisation de la logique /Yvon GauthierQuebec, [Quebec Province] :Presses de l'Universite du Laval,2010.©20101 online resource (216 p.)Logique de la SciencePublié comme partie de Bibliothèque des éditeurs électroniques canadiens.1-322-49263-8 2-7637-8997-8 Includes bibliographical references and indexes.L'arithmétisation de l'analyse -- L'arthmétisation de l'algèbre -- L'arthmétisation de la logique -- L'arthimétisation du langage -- Conclusion. Arithmétisme -- A. La descente infinie -- B. La consistance interne.Collection Logique de la science.Logic, Symbolic and mathematicalMathematicsPhilosophyLogic, Symbolic and mathematical.MathematicsPhilosophy.511.3Gauthier Yvon59659MiAaPQMiAaPQMiAaPQBOOK9910827701903321Logique arithmetique3972846UNINA