CIRM - Videos & books LibraryDocuments

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

Research talks;Combinatorics

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

ISBN 978-3-540-05920-2

Lecture notes in mathematics , 0274

Localisation : Collection 1er étage

complexe co-tangent # déformation de torseur # formalisation des mathématiques constructives de Bishop # formalisme de dualité en géométrie algébrique # géométrie algébrique # hypothèse du continu # logique # schéma de groupe # système déductif et catégorie # théorie des faisceaux # topos classifiant # treillis continu

Documents

Thesaurus

Revues

Documents 03Exx | enregistrements trouvés : 153

Descriptive graph combinatorics. Lecture 1 Marks, Andrew | CIRM Nouveau

Toposes, algebraic geometry and logicDalhousie UniversityJan. 16-19 Bucur, I. ; Giraud, J. ; Goodman, N. ; Lawvere, F. W. | Springer-Verlag 1972 Nouveau

Théorie des ensembles Archer,JC. ; Grigorieff, S. ; Lascar, D. ; Louveau, A. ; Stern, J. | Universite Paris VII 9999 Nouveau

Surveys in set theory :summer school in set theory of three weeks Mathias, A. R. D. | Cambridge University Press 1983 Nouveau

Sets,models and recursion theoryproceedings of the summer school in mathematical logic and tenth logic colloquium,leicester,aug. - sept.,1965 Crossley, John N. | North-Holland Publishing Co. 1967 Nouveau

Sets and proofs :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

Set theory and model theory :proceedings of an informal symposium held at bonn#June 1-3 Jensen, R. B. ; Prestel, A. | Springer-Verlag 1981 Nouveau

Set theory and its applications.Annual Boise extravaganza in set theoryBoise # 1995-2010 Babinkostova, L. ; Caicedo, A. E. ; Geschke, S. ; Scheepers, M. | American Mathematical Society 2011 Nouveau

Set theory :the conference held in honor of Andras Hajnal at DIMACS center at Rutgers University#Oct. 15-17 Thomas, Simon | American Mathematical Society 2002 Nouveau

Set theory :annual Boise extravaganza conference (BEST) first meeting at Boise state university Idaho#March 13-15 Bartoszynski, Tomek ; Scheepers, Marion | American Mathematical Society 1996 Nouveau

Set theoretic methods in homological algebra and Abelian groups. Eklof, Paul C. | Les Presse de l'Université de Montréal 1980 Nouveau

Séminaire Bourbaki. Vol. 2002/2003 :exposés 909-923 | Société Mathématique de France 2003 Nouveau

Recursion theory week :proceedings of a conference held in oberwolfach#March 19-25 Ambos-Spies, K. ; Muller, G. H. ; Sacks, G. E. | Springer-Verlag 1990 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

Recursion theoryproceedings of the american mathematical society-a.s.l. summer institute on... held at cornell university, ithaca,n.y.,june 28 - july 16,1982 Nerode, Anil ; Shore, Richard A. | American Mathematical Society 1985 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

Models and sets, part I :proceedings of the logic colloquium held in aachen#July 18-23 Muller, G. H. ; Richter, M. M. | Springer-Verlag 1984 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

Modèles transitifs de la théorie des ensembles de Zermelo-Fraenkel Mostowski, Andrzej | Les Presse de l'Université de Montréal 1967 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

Filtrer

Type

Domaine

Codes MSC

Documents

Références

Auteurs

Thesaurus

Toposes, algebraic geometry and logic
Dalhousie University
Jan. 16-19 Bucur, I. ; Giraud, J. ; Goodman, N. ; Lawvere, F. W. | Springer-Verlag 1972 Nouveau

Surveys in set theory :
summer school in set theory of three weeks Mathias, A. R. D. | Cambridge University Press 1983 Nouveau

Sets,models and recursion theory
proceedings of the summer school in mathematical logic and tenth logic colloquium,leicester,aug. - sept.,1965 Crossley, John N. | North-Holland Publishing Co. 1967 Nouveau

Sets and proofs :
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

Set theory and model theory :
proceedings of an informal symposium held at bonn#June 1-3 Jensen, R. B. ; Prestel, A. | Springer-Verlag 1981 Nouveau

Set theory and its applications.
Annual Boise extravaganza in set theory
Boise # 1995-2010 Babinkostova, L. ; Caicedo, A. E. ; Geschke, S. ; Scheepers, M. | American Mathematical Society 2011 Nouveau

Set theory :
the conference held in honor of Andras Hajnal at DIMACS center at Rutgers University#Oct. 15-17 Thomas, Simon | American Mathematical Society 2002 Nouveau

Set theory :
annual Boise extravaganza conference (BEST) first meeting at Boise state university Idaho#March 13-15 Bartoszynski, Tomek ; Scheepers, Marion | American Mathematical Society 1996 Nouveau

Séminaire Bourbaki. Vol. 2002/2003 :
exposés 909-923 | Société Mathématique de France 2003 Nouveau

Recursion theory week :
proceedings of a conference held in oberwolfach#March 19-25 Ambos-Spies, K. ; Muller, G. H. ; Sacks, G. E. | Springer-Verlag 1990 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

Recursion theory
proceedings of the american mathematical society-a.s.l. summer institute on... held at cornell university, ithaca,n.y.,june 28 - july 16,1982 Nerode, Anil ; Shore, Richard A. | American Mathematical Society 1985 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

Models and sets, part I :
proceedings of the logic colloquium held in aachen#July 18-23 Muller, G. H. ; Richter, M. M. | Springer-Verlag 1984 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

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