CIRM - Videos & books LibraryDocuments

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

ISBN 978-0-444-85423-0

Studies in logic and the foundations of mathematics , 0104

Localisation : Colloque 1er étage (HANN)

biologie # fondement # histoire # linguistique # logique # mathématique # méthodologie # philosophie de la science # probabilité et induction # psychologie # récursion et informatique # science physique # science sociale # théorie axiomatique des ensembles # théorie de la preuve # théorie des modèles # éthique de la science

Documents

Thesaurus

Revues

Documents 03-02 | enregistrements trouvés : 120

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

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

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

Algebra, mathematical logic, number theory, topology :collection of survey papers 1 on the 5oth anniversary of the institute | American Mathematical Society 1986 Nouveau

Mathematical logic and theoretical computer science :papers presented during the XVI special year of the department of mathematics of the university of Maryland Kueker, David W. ; Lopez-Escobar, Edgar G. K. ; Smith, Carl H. | Inc.;Marcel Dekker 1987 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

Cabal seminar 76-77proceedings,caltech-ucla logic seminar 1976-77 Kechris, A. S. ; Moschovakis, Y. N. | Springer-Verlag 1978 Nouveau

Problems in the constructive trend in mathematics V Orevkov, V. P. ; Sanin, N. A. | American Mathematical Society 1972 Nouveau

Problems in the constructive trend in mathematics IV Orevkov, V. P. ; Sanin, M. A. | American Mathematical Society 1970 Nouveau

Cambridge summer school in mathematical logicAug. 1-21 Mathias, A. R. D. ; Rogers, H. | Springer-Verlag 1973 Nouveau

Model theoretic methods in finite combinatorics.AMS-ASL joint special sessionWashington # january 5-8, 2009 Grohe, Martin ; Makowsky, Johann A. | American Mathematical Society 2011 Nouveau

Recursion-theoretic hierarchies Hinman, Peter G. | Springer-Verlag 1978 Nouveau

Degrees of insolvability structure and theory Epstein, Richard L. | Springer-Verlag 1979 Nouveau

Admissible sets and structures Barwise, Jon | Springer-Verlag 1975 Nouveau

General recursion theory :an axiomatic approach Fenstad, Jens E. | Springer-Verlag 1980 Nouveau

Foundational studiesselected works vol. 1 et 2 Mostowski, Andrzej | North-Holland Publishing Co.;Polish Scientific Publishers 1979 Nouveau

Saturated model theory Sacks, Gerald E. | W. A. Benjamin Inc. 1972 Nouveau

Essays on the foundations of mathematics :hommage a A.A. Fraenkel pour son 70ème anniversaire Bar-Hillel, Yehoshua ; Poznanski, E. I. J. ; Rabin, M. O. ; Robinson, D. C. | The Hebrew University;The Magnes Press 1966 Nouveau

First-order logic Smullyan, Raymond M. | Springer-Verlag 1968 Nouveau

Combinatorial functors Crossley, J. N. ; Nerode, Anie | Springer-Verlag 1974 Nouveau

Filtrer

Type

Codes MSC

Documents

Références

Auteurs

Thesaurus

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

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

Algebra, mathematical logic, number theory, topology :
collection of survey papers 1 on the 5oth anniversary of the institute | American Mathematical Society 1986 Nouveau

Mathematical logic and theoretical computer science :
papers presented during the XVI special year of the department of mathematics of the university of Maryland Kueker, David W. ; Lopez-Escobar, Edgar G. K. ; Smith, Carl H. | Inc.;Marcel Dekker 1987 Nouveau

Cabal seminar 76-77
proceedings,caltech-ucla logic seminar 1976-77 Kechris, A. S. ; Moschovakis, Y. N. | Springer-Verlag 1978 Nouveau

Cambridge summer school in mathematical logic
Aug. 1-21 Mathias, A. R. D. ; Rogers, H. | Springer-Verlag 1973 Nouveau

Model theoretic methods in finite combinatorics.
AMS-ASL joint special session
Washington # january 5-8, 2009 Grohe, Martin ; Makowsky, Johann A. | American Mathematical Society 2011 Nouveau

General recursion theory :
an axiomatic approach Fenstad, Jens E. | Springer-Verlag 1980 Nouveau

Foundational studies
selected works vol. 1 et 2 Mostowski, Andrzej | North-Holland Publishing Co.;Polish Scientific Publishers 1979 Nouveau

Essays on the foundations of mathematics :
hommage a A.A. Fraenkel pour son 70ème anniversaire Bar-Hillel, Yehoshua ; Poznanski, E. I. J. ; Rabin, M. O. ; Robinson, D. C. | The Hebrew University;The Magnes Press 1966 Nouveau