CIRM - Videos & books LibraryDocuments

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

ISBN 978-0-444-86465-9

Studies in logic and the foundations of mathematics , 0108

Localisation : Colloque 1er étage (PRAG)

addition et multiplication # arithmétique de Peano # classe d'équivalence # degré de Turing # degré de table de vérité # décomposabilité forte # extension intuitioniste des réels # formalisation de méta- mathématique # groupe éléminable de quantificateur # idéal saturé # induction transfinie # limite de la connaissance mathématique # logique symbolique # mathématique constructive # modèle récursivement saturé # principe de Silver # propriété de scission universelle # relation d'équivalence # réel en singleton # structure de coeur # système présenté inductivement # ultra filtre # union de ZF-modèle addition et multiplication # arithmétique de Peano # classe d'équivalence # degré de Turing # degré de table de vérité # décomposabilité forte # extension intuitioniste des réels # formalisation de méta- mathématique # groupe éléminable de quantificateur # idéal saturé # induction transfinie # limite de la connaissance mathématique # logique symbolique # mathématique constructive # modèle récursivement saturé # principe de Silver # propriété de ...

Documents

Thesaurus

Revues

Documents 03-06 | enregistrements trouvés : 134

Logic colloquium' 80papers intended for the european summer meeting of the association for symbolic logicAug. 24-30 Lascar, D. ; Smiley, T. J. ; Van Dalen, D. | North-Holland Publishing Co. 1982 Nouveau

Proceeding of the Herbrand symposium proceedings of the Herbrand symposiumJuly 16-24 Stern, J. | North-Holland Publishing Co. 1982 Nouveau

Proceedings of the international congress of mathematicians. Vol. 1proceedings of the ... // /Aug. 13-23 Lehto, Olli | I.C.M. 1980 Nouveau

Southeast asian conference on logicproceedings of the logic conferenceNov. 9-13 Chong, C. T. ; Wicks, M. J. | North-Holland 1983 Nouveau

The calculus of symbolic logic I Orevkov, V. P. | American Mathematical Society 1971 Nouveau

Mathematical logic,the theory of algorithms and the theory of setsdedicated to p s. novikov on his seventieth birthday Adjan, S. I. | American Mathematical Society 1977 Nouveau

Proceedings of the tarski symposiuman international symposium held to honor alfred tarski on the occasionof his seventieth birthday held at the university of california,berkeley,june 23-30,1971 Addison, J. ; Chang, C. C. ; Henkin, L. | American Mathematical Society 1979 Nouveau

Logic colloquium'82proceedings of the colloquium held in Florence,23-28 aug.,1982 Lolli, G. ; Longo, G. ; Marcja, A. | North-Holland 1984 Nouveau

Methods in mathematical logic :proceedings of the 6th latin american symposium on... held in caracas#Aug. 1-6 Di Prisco, C. A. | Springer-Verlag 1985 Nouveau

Séminaire général de logique 1982-83 Delon, Francoise ; Lascar, Daniel ; Louveau, Alain ; Sabbagh, Gabriel | U.E.R. De Mathematiques & L.A. Du C.N.R.S.;Universite Paris VII 1983 Nouveau

The theory of models :proceedings of the 1963 international symposium held at University of California#June 25 - July 11 Addison, J. W. ; Henkin, L. ; Tarski, A. | North-Holland Publishing Co. 1972 Nouveau

Contributions to mathematical logicproceedings of the logic colloquium held at hannover,germany,august 1966 Schmidt, H. A. ; Schutte, K. ; Thiele, H. J. | North-Holland Publishing Co. 1968 Nouveau

Formal systems and recursive functionsproceedings of the eighth logic colloquium,oxford,july 1963 Crossley, J. N. ; Dummett, M. A. E. | North-Holland Publishing Co. 1965 Nouveau

Logic, methodology and philosophy of science VIproceedings of the 6th international congress of... held at the University of HannoverR.F.A.Aug. 22-27 Cohen, L. J. ; Los, J. ; Pfeiffer, H. ; Podewski, K. P. | North-Holland Publishing Co.;Pwn 1982 Nouveau

Intensional logic proceedings of the second soviet finnish logic conference held at the academy of science of the ussr,moscow,dec. 3-7,1979 Niiniluoto, I. ; Saarinen, E. | Distributed By Akateemineen Kirjakauppa;Societas Philosophica Fennica 1982 Nouveau

Foundations of mathematicssymposium papers commemorating the 60th birthday of kurt godel during the 75th anniversary meeting of the ohio academy of science at the ohio state university,columbus,april 22,1966 Bulloff, J. J. ; Hahn, S. W. ; Holyoke, T. C. | Springer-Verlag 1969 Nouveau

Logic colloquium '84proceedings of the colloquium held in manchester,u.k.,july 15-24,1984 Paris, J. B. ; Wilkie, A. J. ; Wilmers, J. M. | North-Holland 1985 Nouveau

Formal methods in the study of language. Part 2 :third colloquium on... held at amsterdam#March 25-28 Groenendijk, J. A. G. ; Janssen, T. M. V. ; Stokhof, M. B. J. | Mathematisch Centrum 1985 Nouveau

Formal methods in the study of language. Part 1 :third colloquium on... held at amsterdam#March 25-28 Groenendijk, J. A. G. ; Janssen, T. M. V. ; Stokhof, M. B. J. | Mathematisch Centrum 1985 Nouveau

Seminaire general de logique 1983-1984 Delon, F. ; Lascar, D. ; Parigot , M. | L.A. 212 Et E.R.A. 944-1020-1021 DU C.N.R.S.;U.E.R. De MATHEMATIQUE;Universite Paris VII Nouveau

Filtrer

Type

Codes MSC

Documents

Références

Auteurs

Thesaurus

Logic colloquium' 80
papers intended for the european summer meeting of the association for symbolic logic
Aug. 24-30 Lascar, D. ; Smiley, T. J. ; Van Dalen, D. | North-Holland Publishing Co. 1982 Nouveau

Proceeding of the Herbrand symposium
proceedings of the Herbrand symposium
July 16-24 Stern, J. | North-Holland Publishing Co. 1982 Nouveau

Proceedings of the international congress of mathematicians. Vol. 1
proceedings of the ... // /Aug. 13-23 Lehto, Olli | I.C.M. 1980 Nouveau

Southeast asian conference on logic
proceedings of the logic conference
Nov. 9-13 Chong, C. T. ; Wicks, M. J. | North-Holland 1983 Nouveau

Mathematical logic,the theory of algorithms and the theory of sets
dedicated to p s. novikov on his seventieth birthday Adjan, S. I. | American Mathematical Society 1977 Nouveau

Proceedings of the tarski symposium
an international symposium held to honor alfred tarski on the occasionof his seventieth birthday held at the university of california,berkeley,june 23-30,1971 Addison, J. ; Chang, C. C. ; Henkin, L. | American Mathematical Society 1979 Nouveau

Logic colloquium'82
proceedings of the colloquium held in Florence,23-28 aug.,1982 Lolli, G. ; Longo, G. ; Marcja, A. | North-Holland 1984 Nouveau

Methods in mathematical logic :
proceedings of the 6th latin american symposium on... held in caracas#Aug. 1-6 Di Prisco, C. A. | Springer-Verlag 1985 Nouveau

The theory of models :
proceedings of the 1963 international symposium held at University of California#June 25 - July 11 Addison, J. W. ; Henkin, L. ; Tarski, A. | North-Holland Publishing Co. 1972 Nouveau

Contributions to mathematical logic
proceedings of the logic colloquium held at hannover,germany,august 1966 Schmidt, H. A. ; Schutte, K. ; Thiele, H. J. | North-Holland Publishing Co. 1968 Nouveau

Formal systems and recursive functions
proceedings of the eighth logic colloquium,oxford,july 1963 Crossley, J. N. ; Dummett, M. A. E. | North-Holland Publishing Co. 1965 Nouveau

Logic, methodology and philosophy of science VI
proceedings of the 6th international congress of... held at the University of Hannover
R.F.A.
Aug. 22-27 Cohen, L. J. ; Los, J. ; Pfeiffer, H. ; Podewski, K. P. | North-Holland Publishing Co.;Pwn 1982 Nouveau

Intensional logic
proceedings of the second soviet finnish logic conference held at the academy of science of the ussr,moscow,dec. 3-7,1979 Niiniluoto, I. ; Saarinen, E. | Distributed By Akateemineen Kirjakauppa;Societas Philosophica Fennica 1982 Nouveau

Foundations of mathematics
symposium papers commemorating the 60th birthday of kurt godel during the 75th anniversary meeting of the ohio academy of science at the ohio state university,columbus,april 22,1966 Bulloff, J. J. ; Hahn, S. W. ; Holyoke, T. C. | Springer-Verlag 1969 Nouveau

Logic colloquium '84
proceedings of the colloquium held in manchester,u.k.,july 15-24,1984 Paris, J. B. ; Wilkie, A. J. ; Wilmers, J. M. | North-Holland 1985 Nouveau

Formal methods in the study of language. Part 2 :
third colloquium on... held at amsterdam#March 25-28 Groenendijk, J. A. G. ; Janssen, T. M. V. ; Stokhof, M. B. J. | Mathematisch Centrum 1985 Nouveau

Formal methods in the study of language. Part 1 :
third colloquium on... held at amsterdam#March 25-28 Groenendijk, J. A. G. ; Janssen, T. M. V. ; Stokhof, M. B. J. | Mathematisch Centrum 1985 Nouveau