CIRM - Videos & books LibraryDocuments

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

Studies in logic and the foundations of mathematics

Localisation : Colloque 1er étage (HANN)

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

Studies in logic and the foundations of mathematics

Localisation : Colloque 1er étage (LOND)

analyse non-standard # axiomatique d'Euclide # dagme de Frege # dialectique grecque # fondement des mathématiques # formalisation du second ordre # logique et heuristique # mathématique post-godelienne et philosophie # mode platonicien de parole # métaphysique du calcul # philosophie des mathématiques # preuve d'indépendance de Cohen # preuve de complétude # rigueur informe # théorie des ensembles

Documents

Thesaurus

Revues

Documents 03Bxx | enregistrements trouvés : 98

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

International colloquium in the philosophy of scienceproceedings of the... held at Bedford CollegeJuly 11-17Vol. 1 Lakatos, Imre | North-Holland Publishing Co. 1967 Nouveau

Intuitionism and proof theory :proceedings of the summer conference on ... held at the State University of New York#Aug. Kino, A. ; Myhill, J. ; Vesley, Richard Eugene | North-Holland Publishing Co. 1970 Nouveau

Structure of language and its mathematical aspectsproceedings of the 12th symposia in applied mathematics of the a.m.s. held in n.y. city,april 14-15,1960 Jakobson, Roman | American Mathematical Society 1961 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

Recursion theory week :proceedings of a conference held in oberwolfach#April 15-21 Ebbinghaus, H. D. ; Muller, G. H. ; Sacks, G. E. | Springer-Verlag 1985 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

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

Clones in universal algebra Szendrei, Agnes | Les Presse de l'Université de Montréal 1986 Nouveau

Mathematical logic and applicationsproceedings of the logic meeting was held at the r.i.m.s. of kyoto,aug. 3-6,1987 Shinoda, J. ; Slaman, T. A. ; Tugue, T. | Springer-Verlag 1989 Nouveau

Algebraic logicpapers presented at the conference held at budapest,hungary,1988 Andréka, Hajnal ; Monk, J. D. ; Nemeti, I. | North-Holland Publishing Co. 1991 Nouveau

Automated theorem proving :Proceedings of the special session on automatic theorem proving 89th annual meeting of the ams#Jan. 5-9 Bledsoe, W. W. ; Loveland, D. W. | American Mathematical Society 1984 Nouveau

Theorem proving with analytic tableaux and related methodsworkshop on theorem proving with analytic tableaux and related methods, Marseille, France, April 28-30, 1993 Basin, David ; Fronhöfer, Bertram ; Hähnle, Reiner | Im Stadtwald W6600 Saarbrücken 1993 Nouveau

Advances in linear logic :linear logic workshop held at Mathematical Sciences Institute#June 14-18 Girard, Jean-Yves ; Lafont , Yves ; Regnier, Laurent | Cambridge University Press 1995 Nouveau

Romanian symposium on computer scienceproceedings of the 9th symposium ROSYCS'93Nov. 12-13 Ciobanu, G. ; Felea, V. | A. I. Cuza University of Iasi Department of computer science 1993 Nouveau

Computer science logic :8th workshop, CSL'94#Sept. 25-30 Pacholski, Leszek ; Tiuryn, Jerzy | Springer 1995 Nouveau

Gödel '96logical foundations of mathematics, computer science and physics- Kurt Gödel's Legacy, Brno, Czech Republic August 1996, Proceedings Hajek, Petr | Springer-Verlag 1996 Nouveau

Models and compatibility :Invited papers from logic colloquium'97 - european meeting of the association for symbolic logic#July 1997 Cooper barry S. ; Truss John K. | Cambridge University Press 1999 Nouveau

Quantitative logic and soft computing:proceedings of the QL&SC 2012 Wang, Guojun ; Zhao, Bin ; Li, Yongming | World Scientific 2012 Nouveau

A course in mathematical logic Manin, Yu. I. | Springer-Verlag 1977 Nouveau

Filtrer

Type

Codes MSC

Documents

Références

Auteurs

Thesaurus

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

International colloquium in the philosophy of science
proceedings of the... held at Bedford College
July 11-17
Vol. 1 Lakatos, Imre | North-Holland Publishing Co. 1967 Nouveau

Intuitionism and proof theory :
proceedings of the summer conference on ... held at the State University of New York#Aug. Kino, A. ; Myhill, J. ; Vesley, Richard Eugene | North-Holland Publishing Co. 1970 Nouveau

Structure of language and its mathematical aspects
proceedings of the 12th symposia in applied mathematics of the a.m.s. held in n.y. city,april 14-15,1960 Jakobson, Roman | American Mathematical Society 1961 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

Recursion theory week :
proceedings of a conference held in oberwolfach#April 15-21 Ebbinghaus, H. D. ; Muller, G. H. ; Sacks, G. E. | Springer-Verlag 1985 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

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

Mathematical logic and applications
proceedings of the logic meeting was held at the r.i.m.s. of kyoto,aug. 3-6,1987 Shinoda, J. ; Slaman, T. A. ; Tugue, T. | Springer-Verlag 1989 Nouveau

Algebraic logic
papers presented at the conference held at budapest,hungary,1988 Andréka, Hajnal ; Monk, J. D. ; Nemeti, I. | North-Holland Publishing Co. 1991 Nouveau

Automated theorem proving :
Proceedings of the special session on automatic theorem proving 89th annual meeting of the ams#Jan. 5-9 Bledsoe, W. W. ; Loveland, D. W. | American Mathematical Society 1984 Nouveau

Theorem proving with analytic tableaux and related methods
workshop on theorem proving with analytic tableaux and related methods, Marseille, France, April 28-30, 1993 Basin, David ; Fronhöfer, Bertram ; Hähnle, Reiner | Im Stadtwald W6600 Saarbrücken 1993 Nouveau

Advances in linear logic :
linear logic workshop held at Mathematical Sciences Institute#June 14-18 Girard, Jean-Yves ; Lafont , Yves ; Regnier, Laurent | Cambridge University Press 1995 Nouveau

Romanian symposium on computer science
proceedings of the 9th symposium ROSYCS'93
Nov. 12-13 Ciobanu, G. ; Felea, V. | A. I. Cuza University of Iasi Department of computer science 1993 Nouveau

Computer science logic :
8th workshop, CSL'94#Sept. 25-30 Pacholski, Leszek ; Tiuryn, Jerzy | Springer 1995 Nouveau

Gödel '96
logical foundations of mathematics, computer science and physics- Kurt Gödel's Legacy, Brno, Czech Republic August 1996, Proceedings Hajek, Petr | Springer-Verlag 1996 Nouveau

Models and compatibility :
Invited papers from logic colloquium'97 - european meeting of the association for symbolic logic#July 1997 Cooper barry S. ; Truss John K. | Cambridge University Press 1999 Nouveau

Quantitative logic and soft computing:
proceedings of the QL&SC 2012 Wang, Guojun ; Zhao, Bin ; Li, Yongming | World Scientific 2012 Nouveau