CIRM - Videos & books LibraryDocuments

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

- xv; 702 p.
ISBN 978-1-138-40194-5

Lecture notes in pure and applied mathematics , 0180

Localisation : Colloque 1er étage (PONT)

logique # algèbre

00B25 ; 03-06 ; 08-06

... Lire [+]

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

- xx; 322 p.
ISBN 978-1-4704-2256-1

Contemporary mathematics , 0690

Localisation : Collection 1er étage

W. Hugh Woodin # théorie des ensembles # grand cardinal # espace de Banach # récursion # philosophie

03-06 ; 03Exx ; 00B15 ; 00B30 ; 03E55 ; 03E60 ; 03E57 ; 03E45 ; 03E35 ; 03E15 ; 00A30 ; 03D03

... Lire [+]

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

- ix; 174 p.
ISBN 978-981-4699-94-5

Lecture notes series, Institute for mathematical sciences, National university of Singapore , 0029

Localisation : Colloque 1er étage (SING)

théorie des modèles # non-résolubilité # logique mathématique # forcing

03-06 ; 03E40 ; 03C20 ; 03D28 ; 00B25

... Lire [+]

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

- 257 p.
ISBN 978-83-86806-31-7

Banach center publications , 0108

Localisation : Salle des périodiques 1er étage

algèbre commutative # logique # théorie des nombres

00B25 ; 13-06 ; 03-06 ; 11-06

... Lire [+]

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

- xi; 419 p.
ISBN 978-1-107-60850-4

London mathematical society lecture note series , 0406

Localisation : Collection 1er étage

03-06 ; 03Exx ; 00B25

... Lire [+]

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

- 150 p.
ISBN 978-3-642-11119-8

CIME summer schools , 0069

Localisation : Colloque 1er étage (BRES)

logique # théorie des modèles

03-06 ; 03Cxx ; 00B25

... Lire [+]

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

- xvii-316 p.
ISBN 978-0-8218-6923-9

Contemporary mathematics , 0576

Localisation : Collection 1er étage

théorie des groupes # théorie des modèles # Rüdiger Gödel

20-06 ; 03-06 ; 20Kxx ; 20A15 ; 03C60 ; 20K10 ; 20K20 ; 20K40 ; 03C98 ; 00B25

... Lire [+]

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

- x-181 p.
ISBN 978-981-4360-53-1

Localisation : Colloque 1er étage (SING)

logique mathématique # théorie des modèles # informatique

03-06 ; 00B25 ; 00B30 ; 03B45 ; 03Cxx ; 03Dxx

... Lire [+]

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

- xvii-705 p.
ISBN 978-981-4401-52-4

World scientific proceedings series on computer engineering and information science , 5

Localisation : Colloque 1er étage (XIAN)

logique # logique floue # programmation # intelligence artificielle

03-06 ; 03Bxx ; 03B70 ; 03E72 ; 68Qxx ; 00B25

... Lire [+]

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

- xi, 255 p.
ISBN 978-3-642-21349-6

Lecture notes in computer science , 6680

Localisation : Collection 1er étage

informatique # intélligence artificielle # enseignement # logique formelle

03-06 ; 68-06 ; 97-06

... Lire [+]

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

- 622 p.
ISBN 978-0-7204-2074-6

Localisation : Colloque 1er étage (ROCQ)

automates # langage formel # algorithme # programmation

00Bxx ; 03-06 ; 68-06 ; 94-06

... Lire [+]

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

- viii; 519 p.
ISBN 978-0-8218-4943-9

Contemporary mathematics , 0558

Localisation : Collection 1er étage

théorie des modèles finis # probabilités combinatoires

03-02 ; 03-06 ; 05-02 ; 05-06 ; 68-02 ; 68-06 ; 03C65 ; 05Axx ; 05Cxx ; 68Q19 ; 00B25

... Lire [+]

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

- 325 p.

Proceedings of the Steklov institute of mathematics , 0274

Localisation : Collection 1er étage

68-06 ; 03-06

... Lire [+]

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

- xi; 341 p.
ISBN 978-0-521-71820-2

London mathematical society lecture note series , 0379

Localisation : Collection 1er étage

logique # modèle fini # modèle algorithmique # théorie des modèles

03-06 ; 03C07 ; 03C13 ; 00B25

... Lire [+]

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

- x; 426 p.
ISBN 978-0-8218-7281-9

CRM proceedings & lecture notes , 0053

Localisation : Collection 1er étage

théorie des modèles # catégories # théorie de la classification # catégories fibrées

03-06 ; 03C45 ; 03C52 ; 03C90 ; 03G30 ; 18C10 ; 18D05 ; 18D30 ; 00B25 ; 00B30

... Lire [+]

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

- xx; 466 p.
ISBN 978-88-7999-411-8

Quaderni di matematica , 0011

Localisation : Colloque 1er étage (RAVE)

théorie des modèles # logique # théorie des nombres # théorie des groupes # théorie des corps

20E08 ; 05C25 ; 03C64 ; 03C60 ; 03C10 ; 20F60 ; 20E32 ; 20D05 ; 03C45 ; 20A15 ; 03C07 ; 03C98 ; 32B05 ; 12F10 ; 03C20 ; 11G25 ; 11G10 ; 11U09 ; 14G15 ; 20G15 ; 22E30 ; 12H05 ; 12L12 ; 30D60 ; 58A17 ; 20E42 ; 14K15 ; 03-06 ; 00B25 ; 11-06 ; 12-06 ; 20-06

... Lire [+]

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

- xi; 330 p.
ISBN 978-0-8218-4812-8

Contemporary mathematics , 0533

Localisation : Collection 1er étage

théorie des ensembles # théorie de Ramsey

03C55 ; 03E15 ; 03E17 ; 03E35 ; 03E60 ; 46L05 ; 54A20 ; 54A25 ; 54D20 ; 91A44 ; 03-06 ; 03Exx ; 00B25

... Lire [+]

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

- ix; 200 p.
ISBN 978-0-8218-4833-3

Contemporary mathematics , 0530

Localisation : Collection 1er étage

logique mathématique # ensemble combinatoire # théorie de Ramsey # ultrafiltres

03C20 ; 03E05 ; 03H05 ; 05C55 ; 28E15 ; 03-06 ; 00B25

... Lire [+]

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

- 162 p.

Localisation : Colloque 1er étage (BAHI)

06-06 ; 08-06 ; 03-06 ; 46-06 ; 00B25

... Lire [+]

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

- xiii; 267 p.
ISBN 978-0-521-76065-2

Lecture notes in logic

Localisation : Colloque 1er étage (WROC)

logique mathématique # théorie de la preuve # logique formelle

03-06 ; 03Fxx ; 00B25

... Lire [+]

Documents

Thesaurus

Revues

Documents 03-06 | enregistrements trouvés : 134

Logic and algebra.
Proceedings of the international conference dedicated to the memory of Roberto Magari
Pontignano # April 26-30, 1994 Ursini, Aldo ; Agliano, Paolo | CRC Press 1996 Nouveau

Foundations of mathematics.
Logic at Harvard : essays in honor of W. Hugh Woodin's 60th birthday
Cambridge # March 27-29, 2015 Caicedo, Andrés Eduardo ; Cummings, James ; Koellner, Peter ; Larson, Paul B. | American Mathematical Society 2017 Nouveau

Forcing, iterated ultrapowers, and Turing degrees.
Lecture notes from the 2010 and 2011 Asian Initiative for Infinity (AII) logic summer school
Singapore # 2010 and 2011 Chong, Chitat ; Feng, Qi ; Slaman, Theodore A. ; Woodin, W. Hugh ; Yang, Yue | World Scientific 2016 Nouveau

Algebra, logic and number theory.
Proceedings of the 3rd joint conferences on algebra, logic and number theory
Bedlewo # June 8-13, 2014 Gladki, Pawel ; Koprowski, Przemyslaw ; Kuhlmann, Franz-Viktor ; Misik, Ladislav ; Sladek, Andrzej ; Szymiczek, Kazimierz | Polish Academy of Sciences 2016 Nouveau

Appalachian set theory 2006-2012.
Based on the Appalachian set theory workshop series during the period 2006-2012 Cummings, James ; Schimmerling, Ernest | Cambridge University Press 2013 Nouveau

Model theory and applications:
lectures given at a summer school of the Centro Internazionale Matematico Estivo (C.I.M.E.)
Bressanone # june 20-28, 1975 Mangani, P. | Springer;Fondazione CIME 2011 Nouveau

Groups and model theory:
in honor of Rüdiger Gbel's 70th birthday,
May 30-June 3, 2011#
Conference center "Die Wolfsburg", Mülheim an der Ruhr, Germany Strüngmann, Lutz ; Droste, Manfred ; Fuchs, Laszlo ; Tent, Katrin | American Mathematical Society 2012 Nouveau

Proceedings of the 11th Asian logic conference:
in honor of professor Chong Chitat on his 60th birthday, National University of Singapore, Singapore# 22-27 June 2009 Arai, Toshiyasu ; Feng, Qi ; Kim, Byunghan ; Wu, Guohua ; Yang, Yue | World Scientific 2012 Nouveau

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

Tools for teaching logic.
Third international congress, TICTTL 2011
Salamanca # june 1-4, 2011 Blackburn, Patrick ; Van Ditmarsch, Hans ; Manzano, Maria ; Soler-Toscano, Fernando | Springer 2011 Nouveau

Automata, languages and programming.
Proceedings of a symposium organized by the Institut de Recherche d'Informatique et d'Automatique (IRIA)
Rocquencourt # july 3-7, 1972 Nivat, M. | North-Holland Publishing Co.;American Elsevier Publishing Co., Inc. 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

Algorithmic aspects of algebra and logic.
Collected papers dedicated to academician Sergei Ivanovich Adian on the occasion of his 80th birthday | MAIK Nauka/Interperiodica Publishing 2011 Nouveau

Finite and algorithmic model theory.
Based on a workshop
Durham # january 9-13, 2006 Esparza, Javier ; Michaux, Christian ; Steinhorn, Charles | Cambridge University Press 2011 Nouveau

Models, logics, and higher-dimensional categories : a tribute to the work of Mihaly Makkai.
Proceedings of a conference
Montréal # june 18-20, 2009 Hart, Bradd ; Kucera, Thomas G. ; Pillay, Anand ; Scott, Philip J. ; Seely, Robert A. G. | American Mathematical Society 2011 Nouveau

Model theory and applications:
based on the Euro-conference in model theory and applications
Ravello # may 27 - june 1, 2002 Bélair, L. ; Chatzidakis, Z. ; D'Aquino, P. ; Marker, D. ; Otero, M. ; Point, F. ; Wilkie, A. | ARACNE 2002 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

Ultrafilters across mathematics.
International congress ULTRAMATH 2008: applications of ultrafilters and ultraproducts in mathematics
Pisa # june 1-7, 2008 Bergelson, Vitaly ; Blass, Andreas ; Di Nasso, Mauro ; Jin, Renling | American Mathematical Society 2010 Nouveau

Actas del X congreso Dr Antonio A. R. Monteiro
Bahia Blanca # may 27-29, 2009 | Universidad Nacional Del Sur;Instituto de Matematica ( CONICET ) 2010 Nouveau

Logic colloquium 2007.
Proceedings of the European summer meeting of the Association for Symbolic Logic
Wroclaw # july 14-19, 2007 Delon, Francoise ; Kohlenbach, Ulrich ; Maddy, Penelope ; Stephan, Frank | Cambridge University Press;Association for Symbolic Logic 2010 Nouveau

Filtrer

Type

Codes MSC

Documents

Références

Auteurs

Thesaurus

Documents

Thesaurus

Revues

Documents 03-06 | enregistrements trouvés : 134

Logic and algebra.Proceedings of the international conference dedicated to the memory of Roberto MagariPontignano # April 26-30, 1994 Ursini, Aldo ; Agliano, Paolo | CRC Press 1996 Nouveau

Foundations of mathematics.Logic at Harvard : essays in honor of W. Hugh Woodin's 60th birthdayCambridge # March 27-29, 2015 Caicedo, Andrés Eduardo ; Cummings, James ; Koellner, Peter ; Larson, Paul B. | American Mathematical Society 2017 Nouveau

Forcing, iterated ultrapowers, and Turing degrees.Lecture notes from the 2010 and 2011 Asian Initiative for Infinity (AII) logic summer schoolSingapore # 2010 and 2011 Chong, Chitat ; Feng, Qi ; Slaman, Theodore A. ; Woodin, W. Hugh ; Yang, Yue | World Scientific 2016 Nouveau

Algebra, logic and number theory.Proceedings of the 3rd joint conferences on algebra, logic and number theoryBedlewo # June 8-13, 2014 Gladki, Pawel ; Koprowski, Przemyslaw ; Kuhlmann, Franz-Viktor ; Misik, Ladislav ; Sladek, Andrzej ; Szymiczek, Kazimierz | Polish Academy of Sciences 2016 Nouveau

Appalachian set theory 2006-2012.Based on the Appalachian set theory workshop series during the period 2006-2012 Cummings, James ; Schimmerling, Ernest | Cambridge University Press 2013 Nouveau

Model theory and applications:lectures given at a summer school of the Centro Internazionale Matematico Estivo (C.I.M.E.) Bressanone # june 20-28, 1975 Mangani, P. | Springer;Fondazione CIME 2011 Nouveau

Groups and model theory:in honor of Rüdiger Gbel's 70th birthday,May 30-June 3, 2011#Conference center "Die Wolfsburg", Mülheim an der Ruhr, Germany Strüngmann, Lutz ; Droste, Manfred ; Fuchs, Laszlo ; Tent, Katrin | American Mathematical Society 2012 Nouveau

Proceedings of the 11th Asian logic conference:in honor of professor Chong Chitat on his 60th birthday, National University of Singapore, Singapore# 22-27 June 2009 Arai, Toshiyasu ; Feng, Qi ; Kim, Byunghan ; Wu, Guohua ; Yang, Yue | World Scientific 2012 Nouveau

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

Tools for teaching logic.Third international congress, TICTTL 2011Salamanca # june 1-4, 2011 Blackburn, Patrick ; Van Ditmarsch, Hans ; Manzano, Maria ; Soler-Toscano, Fernando | Springer 2011 Nouveau

Automata, languages and programming.Proceedings of a symposium organized by the Institut de Recherche d'Informatique et d'Automatique (IRIA)Rocquencourt # july 3-7, 1972 Nivat, M. | North-Holland Publishing Co.;American Elsevier Publishing Co., Inc. 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

Algorithmic aspects of algebra and logic.Collected papers dedicated to academician Sergei Ivanovich Adian on the occasion of his 80th birthday | MAIK Nauka/Interperiodica Publishing 2011 Nouveau

Finite and algorithmic model theory.Based on a workshopDurham # january 9-13, 2006 Esparza, Javier ; Michaux, Christian ; Steinhorn, Charles | Cambridge University Press 2011 Nouveau

Models, logics, and higher-dimensional categories : a tribute to the work of Mihaly Makkai.Proceedings of a conferenceMontréal # june 18-20, 2009 Hart, Bradd ; Kucera, Thomas G. ; Pillay, Anand ; Scott, Philip J. ; Seely, Robert A. G. | American Mathematical Society 2011 Nouveau

Model theory and applications:based on the Euro-conference in model theory and applicationsRavello # may 27 - june 1, 2002 Bélair, L. ; Chatzidakis, Z. ; D'Aquino, P. ; Marker, D. ; Otero, M. ; Point, F. ; Wilkie, A. | ARACNE 2002 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

Ultrafilters across mathematics.International congress ULTRAMATH 2008: applications of ultrafilters and ultraproducts in mathematicsPisa # june 1-7, 2008 Bergelson, Vitaly ; Blass, Andreas ; Di Nasso, Mauro ; Jin, Renling | American Mathematical Society 2010 Nouveau

Actas del X congreso Dr Antonio A. R. MonteiroBahia Blanca # may 27-29, 2009 | Universidad Nacional Del Sur;Instituto de Matematica ( CONICET ) 2010 Nouveau

Logic colloquium 2007.Proceedings of the European summer meeting of the Association for Symbolic LogicWroclaw # july 14-19, 2007 Delon, Francoise ; Kohlenbach, Ulrich ; Maddy, Penelope ; Stephan, Frank | Cambridge University Press;Association for Symbolic Logic 2010 Nouveau

Filtrer

Type

Codes MSC

Documents

Références

Auteurs

Thesaurus

Logic and algebra.
Proceedings of the international conference dedicated to the memory of Roberto Magari
Pontignano # April 26-30, 1994 Ursini, Aldo ; Agliano, Paolo | CRC Press 1996 Nouveau

Foundations of mathematics.
Logic at Harvard : essays in honor of W. Hugh Woodin's 60th birthday
Cambridge # March 27-29, 2015 Caicedo, Andrés Eduardo ; Cummings, James ; Koellner, Peter ; Larson, Paul B. | American Mathematical Society 2017 Nouveau

Forcing, iterated ultrapowers, and Turing degrees.
Lecture notes from the 2010 and 2011 Asian Initiative for Infinity (AII) logic summer school
Singapore # 2010 and 2011 Chong, Chitat ; Feng, Qi ; Slaman, Theodore A. ; Woodin, W. Hugh ; Yang, Yue | World Scientific 2016 Nouveau

Appalachian set theory 2006-2012.
Based on the Appalachian set theory workshop series during the period 2006-2012 Cummings, James ; Schimmerling, Ernest | Cambridge University Press 2013 Nouveau

Model theory and applications:
lectures given at a summer school of the Centro Internazionale Matematico Estivo (C.I.M.E.)
Bressanone # june 20-28, 1975 Mangani, P. | Springer;Fondazione CIME 2011 Nouveau

Groups and model theory:
in honor of Rüdiger Gbel's 70th birthday,
May 30-June 3, 2011#
Conference center "Die Wolfsburg", Mülheim an der Ruhr, Germany Strüngmann, Lutz ; Droste, Manfred ; Fuchs, Laszlo ; Tent, Katrin | American Mathematical Society 2012 Nouveau

Proceedings of the 11th Asian logic conference:
in honor of professor Chong Chitat on his 60th birthday, National University of Singapore, Singapore# 22-27 June 2009 Arai, Toshiyasu ; Feng, Qi ; Kim, Byunghan ; Wu, Guohua ; Yang, Yue | World Scientific 2012 Nouveau

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

Tools for teaching logic.
Third international congress, TICTTL 2011
Salamanca # june 1-4, 2011 Blackburn, Patrick ; Van Ditmarsch, Hans ; Manzano, Maria ; Soler-Toscano, Fernando | Springer 2011 Nouveau

Automata, languages and programming.
Proceedings of a symposium organized by the Institut de Recherche d'Informatique et d'Automatique (IRIA)
Rocquencourt # july 3-7, 1972 Nivat, M. | North-Holland Publishing Co.;American Elsevier Publishing Co., Inc. 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

Algorithmic aspects of algebra and logic.
Collected papers dedicated to academician Sergei Ivanovich Adian on the occasion of his 80th birthday | MAIK Nauka/Interperiodica Publishing 2011 Nouveau

Finite and algorithmic model theory.
Based on a workshop
Durham # january 9-13, 2006 Esparza, Javier ; Michaux, Christian ; Steinhorn, Charles | Cambridge University Press 2011 Nouveau

Models, logics, and higher-dimensional categories : a tribute to the work of Mihaly Makkai.
Proceedings of a conference
Montréal # june 18-20, 2009 Hart, Bradd ; Kucera, Thomas G. ; Pillay, Anand ; Scott, Philip J. ; Seely, Robert A. G. | American Mathematical Society 2011 Nouveau

Model theory and applications:
based on the Euro-conference in model theory and applications
Ravello # may 27 - june 1, 2002 Bélair, L. ; Chatzidakis, Z. ; D'Aquino, P. ; Marker, D. ; Otero, M. ; Point, F. ; Wilkie, A. | ARACNE 2002 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

Ultrafilters across mathematics.
International congress ULTRAMATH 2008: applications of ultrafilters and ultraproducts in mathematics
Pisa # june 1-7, 2008 Bergelson, Vitaly ; Blass, Andreas ; Di Nasso, Mauro ; Jin, Renling | American Mathematical Society 2010 Nouveau

Actas del X congreso Dr Antonio A. R. Monteiro
Bahia Blanca # may 27-29, 2009 | Universidad Nacional Del Sur;Instituto de Matematica ( CONICET ) 2010 Nouveau

Logic colloquium 2007.
Proceedings of the European summer meeting of the Association for Symbolic Logic
Wroclaw # july 14-19, 2007 Delon, Francoise ; Kohlenbach, Ulrich ; Maddy, Penelope ; Stephan, Frank | Cambridge University Press;Association for Symbolic Logic 2010 Nouveau