Cargando…

Logique arithmétique : l'arithmétisation de la logique /

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor principal: Gauthier, Yvon, 1941-
Formato: Electrónico eBook
Idioma:Francés
Publicado: Québec [Que.] : Presses de l'Université Laval, ©2010
Colección:Collection Logique de la science.
Temas:
Acceso en línea:Texto completo

MARC

LEADER 00000cam a2200000Ma 4500
001 EBOOKCENTRAL_ocn698431340
003 OCoLC
005 20240329122006.0
006 m o d
007 cr cn|||||||||
008 100914s2010 quc ob 001 0 fre d
040 |a CaQQLA  |b eng  |e pn  |c GPRCL  |d N$T  |d OCLCQ  |d YDXCP  |d OCLCQ  |d CELBN  |d E7B  |d OCLCQ  |d OCLCF  |d OCLCO  |d EBLCP  |d OCLCQ  |d DEBSZ  |d OCLCQ  |d AGLDB  |d OCLCQ  |d VTS  |d OCLCQ  |d YOU  |d STF  |d M8D  |d OCLCQ  |d AJS  |d CN6UV  |d OCLCO  |d OCLCQ  |d OCLCO  |d OCLCQ  |d OCLCL 
019 |a 701722362  |a 923773293 
020 |a 9782763709970  |q (electronic bk.) 
020 |a 2763709974  |q (electronic bk.) 
020 |z 9782763789972  |q (print) 
029 1 |a AU@  |b 000051379263 
029 1 |a CHNEW  |b 000634748 
029 1 |a DEBBG  |b BV043103777 
029 1 |a DEBSZ  |b 421642432 
029 1 |a DEBSZ  |b 449668916 
035 |a (OCoLC)698431340  |z (OCoLC)701722362  |z (OCoLC)923773293 
050 4 |a QA9  |b .G276 2010eb 
072 7 |a MAT  |x 018000  |2 bisacsh 
082 0 4 |a 511.3 
049 |a UAMI 
100 1 |a Gauthier, Yvon,  |d 1941- 
245 1 0 |a Logique arithmétique :  |b l'arithmétisation de la logique /  |c Yvon Gauthier. 
260 |a Québec [Que.] :  |b Presses de l'Université Laval,  |c ©2010  |e (Saint-Lazare, Quebec :  |f Canadian Electronic Library,  |g 2011) 
300 |a 1 online resource (1 texte électronique (205 pages)) :  |b numérique, fichier PDF 
336 |a text  |b txt  |2 rdacontent 
337 |a computer  |b c  |2 rdamedia 
338 |a online resource  |b cr  |2 rdacarrier 
490 1 |a Logique de la science 
504 |a Comprend des réf. bibliogr. (pages 191-198) et un index. 
505 0 |a 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. 
590 |a ProQuest Ebook Central  |b Ebook Central Academic Complete 
650 0 |a Arithmetic  |x Foundations. 
650 0 |a Logic, Symbolic and mathematical. 
650 0 |a Mathematics  |x Philosophy. 
650 6 |a Arithmétique  |x Fondements. 
650 6 |a Logique symbolique et mathématique. 
650 6 |a Mathématiques  |x Philosophie. 
650 7 |a MATHEMATICS  |x Logic.  |2 bisacsh 
650 7 |a Arithmetic  |x Foundations  |2 fast 
650 7 |a Logic, Symbolic and mathematical  |2 fast 
650 7 |a Mathematics  |x Philosophy  |2 fast 
655 6 |a Livres électroniques. 
758 |i has work:  |a Logique arithmétique (Text)  |1 https://id.oclc.org/worldcat/entity/E39PCFtxpMYXYBywXF8p8h8gXb  |4 https://id.oclc.org/worldcat/ontology/hasWork 
776 0 8 |i Print version:  |z 9782763789972 
830 0 |a Collection Logique de la science. 
856 4 0 |u https://ebookcentral.uam.elogim.com/lib/uam-ebooks/detail.action?docID=4796214  |z Texto completo 
938 |a Canadian Electronic Library  |b CELB  |n 10424103 
938 |a EBL - Ebook Library  |b EBLB  |n EBL4796214 
938 |a EBL - Ebook Library  |b EBLB  |n EBL3271143 
938 |a ebrary  |b EBRY  |n ebr10424103 
938 |a EBSCOhost  |b EBSC  |n 352597 
938 |a YBP Library Services  |b YANK  |n 3521332 
994 |a 92  |b IZTAP