Documents liés : [93 document(s)]

Documents (Codes MSC)

• [Ouvrage] An Invitation to Mathematical Logic / Principal Marker, David. -Cham : Springer, 2024. - 357 p.
  ISBN 978-3-0315-5367-7
  
• [Ouvrage] Coding the universe / Principal Beller, A. ; Co-auteur Jensen, Ronald Björn ; Co-auteur Welch, P.. -Cambridge, New York : Cambridge University Press, 1982. - 353 p.
  ISBN 978-0-521-28040-2
  
• [Ouvrage] The core model / Principal Dodd, A.J.. -Cambridge, New York : Cambridge University Press, 1982. - 1 vol. (XXXVII-229 p.)
  ISBN 978-0-521-28530-8
  
• [Congrès] Ordered algebraic structures and related topics : - international conference at CIRM - Marseille # October 12-16, 2015 / Editeur Broglia, Fabrizio ; Editeur Delon, Françoise ; Editeur Dickmann, Max ; Editeur Gondard-Cozette, Danielle ; Editeur Powers, Victoria Ann. -Providence : American Mathematical Society, 2017. - xviii; 366 p.
  ISBN 978-1-4704-2966-9
  
• [Ouvrage] Introduction to mathematical logic / Principal Mendelson, Elliott. -Boca Raton, London, New York : CRC Press, 2015. - xxiv; 489 p.
  ISBN 978-1-4822-3772-6
  
• [Congrès] Valuation theory in interaction. - Proceedings of the 2nd international conference and workshop on valuation theory - Segovia and El Escorial # July 18-29, 2011 / Editeur Campillo, Antonio ; Editeur Kuhlmann, Franz-Viktor ; Editeur Teissier, Bernard. -Zürich : European Mathematical Society, 2014. - xiv; 656 p.
  ISBN 978-3-03719-149-1
  
• [Ouvrage] Model theory in algebra, analysis and arithmetic: - Cetraro 2012 (CIME course) / Editeur Macpherson, Dugald ; Editeur Toffalori, Carlo. -Berlin, Heidelberg, Florence : Springer;Fondazione CIME, 2014. - vii; 195 p.
  ISBN 978-3-642-54935-9
  
• [Ouvrage] A course in model theory / Principal Tent, Katrin ; Co-auteur Ziegler, Martin. -Cambridge, New York, Ithaca : Cambridge University Press;Association for Symbolic Logic, 2012. - x; 248 p.
  ISBN 978-0-521-76324-0
  
• [Congrès] 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 / Editeur Mangani, P.. -Berlin, Heidelberg, Firenze : Springer;Fondazione CIME, 2011. - 150 p.
  ISBN 978-3-642-11119-8
  
• [Congrès] 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 / Editeur Arai, Toshiyasu ; Editeur Feng, Qi ; Editeur Kim, Byunghan ; Editeur Wu, Guohua ; Editeur Yang, Yue. -Singapore : World Scientific, 2012. - x-181 p.
  ISBN 978-981-4360-53-1
  
• [Thèse] Théorie des modèles de corps ordonnables et sommes de puissances 2n-èmes - Thèse de doctorat d'Etat. / Principal Gondard-Cozette, Danielle ; Dirigé par Sabbagh, Gabriel. -Paris : Universite Paris VII, 1989. - 201 p.
  
• [Congrès] Trends in representation theory of algebras and related topics: - proceedings of the twelfth international conference on representations of algebras and workshop (ICRA XII) - Torun # august 15-24, 2007 / Editeur Skowronski, Andrzej. -Zürich : European Mathematical Society, 2008. - xii; 710 p.
  ISBN 978-3-03719-062-3
  
• [Ouvrage] Finite structures with few types / Principal Cherlin, Gregory L. ; Co-auteur Hrushovski, Ehud. -N. J. : Princeton University Press, 2003. - 193 p.
  ISBN 978-0-691-11331-9
  
• [Ouvrage] Logic and its applications / Editeur Blass, Andreas ; Editeur Zhang, Yi. -Providence, Rhode Island : American Mathematical Society, 2005. - 306 p.
  ISBN 978-0-8218-3474-9
  
• [Ouvrage] Satured model theory / Principal Sacks, Gerald E.. -Reading : W. A. Benjamin Inc., 1972. - 335 p.
  ISBN 978-0-805-38381-2
  
• [Ouvrage] Cours de logique mathématique. Tome II : - récursivité, insaturation, décidabilité, constructibilité / Principal Fraisse, R.. -Marseille : Centre National de la Recherche Scientifique, 1967. - 70 p.
  
• [Congrès] Applications of model theory to algebra, analysis, and probability : - proceedings of the international symposium on... held at the California Institute of Technology#May 23-26 / Editeur Luxemburg, W. A. J.. -Chicago, N. Y., San Francisco : Holt Rinehart and Winston, 1969. - 307 p.
  
• [Ouvrage] Mathématiques à venir, dix ans après le colloque de Palaiseau de 1987 : - chercheurs et enseignants en mathématiques: où en est-on à la veille de l'an 2000? -Paris : Société Mathématique de France, 1997. - 93 p.
  ISBN 978-2-85629-061-3
  
• [Ouvrage] Einführung in die verbandstheorie / Principal Hermes, Hans. -Berlin, Heidelberg, N.Y. : Springer-Verlag, 1955. - 164 p.
  
• [Congrès] Combinatorial and geometric group theory : - AMS special session on ...#Nov. 4-5 and April 28-29 / Editeur Cleary, Sean ; Editeur Gilman, Robert ; Editeur Myasnikov, Alexei G.. -Providence : American Mathematical Society, 2002. - 275 p.
  ISBN 978-0-8218-2822-9
  
• [Ouvrage] Model theory : - an introduction / Principal Marker, D.. -Berlin, Heidelberg, N.Y. : Springer, 2002. - 342 p.
  ISBN 978-0-387-98760-6
  
• [Thèse] Sur quelques classifications des systèmes de relations#Propositions données par la faculté / Principal Fraïssé, Roland. -Paris : Université de Paris 7, 1955. - 154 p.
  
• [Ouvrage] Finite mathematics with calculus : - a modeling approach / Principal Bronson, Richard ; Co-auteur Bronson, Gary. -Pacific Grove : Brooks/Cole, 2000. - 1123 p.
  ISBN 978-0-534-35652-1
  
• [Ouvrage] Mathematical logic / Principal Shoenfield, Joseph R.. -Natick : Association for Symbolic Logic, 2000. - 344 p.
  ISBN 978-1-56881-135-2
  
• [Ouvrage] Model and applications / Traducteur Rozhkovskaya Tamara. -Providence : American Mathematical Society, 1999. - 346 p.
  ISBN 978-0-8218-1092-7
  
• [Ouvrage] The incompleteness phenomenon : - A new course in mathematical logic / Principal Goldstern, Martin ; Co-auteur Judah, Haim. -Natick : Peters, A. K., 1998. - 247 p.
  ISBN 978-1-56881-093-5
  
• [Ouvrage] A course in model theory : - an introduction to contemporary mathematical logic / Principal Poizat, Bruno ; Traducteur Klein, Moses. -Berlin, Heidelberg, N.Y. : Springer, 2000. - 443 p.
  ISBN 978-0-387-98655-5
  
• [Congrès] Models and compatibility : - Invited papers from logic colloquium'97 - european meeting of the association for symbolic logic#July 1997 / Editeur Cooper barry S. ; Editeur Truss John K.. -Cambridge, Melbourne, New york : Cambridge University Press, 1999. - 419 p.
  ISBN 978-0-521-63550-9
  
• [Ouvrage] Solving higher-order equations : - From logic to programming / Principal Prehofer, Christian. -Basel, Berlin, Boston : Birkhäuser, 1998. - 186 p.
  ISBN 978-0-8176-4032-3
  
• [Ouvrage] Geometry of subanalytic and semialgebraic sets / Principal Shiota, Masahiro. -Basel, Berlin, Boston : Birkhäuser, 1997. - 431 p.
  ISBN 978-0-8176-4000-2
  
• [Publication] Publications du Département de Mathématiques année 1967 tome 4 fascicule 3 / Principal Université Claude Bernard Lyon 1. -Villeurbanne : Service de documentation du Département de mathématiques, Université de Lyon 1, 1967
  
• [Congrès] Gödel '96 - logical foundations of mathematics, computer science and physics- Kurt Gödel's Legacy, Brno, Czech Republic August 1996, Proceedings / Editeur Hajek, Petr. -Berlin, Heidelberg : Springer-Verlag, 1996
  ISBN 978-3-540-61434-0
  
• [Congrès] Logic and computational complexity : - international workshop LCC'94#Oct. 13-16 / Editeur Leivant, Daniel. -Berlin, Heidelberg, N.Y. : Springer, 1995. - 514 p.
  ISBN 978-3-540-60178-4
  
• [Congrès] The theory of models - proceedings of the 1963 international symposium - held at the University of California - June 25 - July 11 / Editeur Addison, J. W. ; Editeur Henkin, Leon ; Editeur Tarski, Alfred. -Amsterdam : North-Holland Publishing Co., 1965
  
• [Congrès] Proceedings of the IX latin american symposium on mathematical logic. Part 2 -Bahia Blanca : INMABB - CONICET, 1994. - 199 p.
  
• [Ouvrage] Model theory and algebra - a memorial tribute to Abraham Robinson / Editeur Saracino, D. H. ; Editeur Weispfenning, V. B.. -Berlin, Heidelberg, N.Y. : Springer-Verlag, 1975
  ISBN 978-3-540-07538-7
  
• [Ouvrage] Aspects of constructibility / Principal Devlin, Keith J.. -Berlin, Heidelberg, N.Y. : Springer-Verlag, 1973
  ISBN 978-3-540-06522-7
  
• [Ouvrage] Modelle der mengenlehre - widerspruchsfreiheit und unabhängigkeit der kontinuum-hypothese und des auswahlaxioms ausgearbeitet von Franz Josef Leven / Principal Jensen, Ronald Björn. -Berlin, Göttingen, Heidelberg : Springer-Verlag, 1967
  
• [Ouvrage] Logique réduction, résolution / Principal Lalement, René ; Préfacier Demazure, Michel. -Barcelone, Milan, Paris : Masson, 1990. - 370 p.
  ISBN 978-2-225-82104-2
  
• [Ouvrage] Finite automata, formal logic and circuit complexity / Principal Straubin, Howard. -Basel, Berlin, Boston : Birkhäuser, 1994. - 226 p.
  ISBN 978-0-8176-3719-4
  
• [Ouvrage] Stabilité structurelle et morphogénèse : - essai en théorie générale des modèles / Principal Thom, René. -Reading, Massachusetts : W. A. Benjamin, 1972. - 362 p.
  ISBN 978-0-805-39272-2
  
• [Ouvrage] Studies in model theory / Editeur Morley, M. D.. -sl : The Mathematical Association of America, 1973. - 196 p.
  ISBN 978-0-88385-108-1
  
• [Ouvrage] Classification theory and the number of non-isomorphic models / Principal Shelah, S.. -Amsterdam, N.Y., Oxford : North-Holland Publishing Co., 1978. - 544 p.
  ISBN 978-0-7204-0757-0
  
• [Ouvrage] Saturated model theory / Principal Sacks, Gerald E.. -Reading, Massachusetts : W. A. Benjamin Inc., 1972. - 335 p.
  ISBN 978-0-805-38380-5
  
• [Ouvrage] Mathematical logic / Principal Shoenfield, Joseph R.. -London, Menlo Park, California, Reading, Massachusetts : Addison-Wesley Publishing Company, 1967. - 344 p.
  ISBN 978-0-201-07028-6
  
• [Ouvrage] Mathematische gesetze der logik I : - vorlesungen über aussagenlogik / Principal Schmidt, H. Arnold. -Berlin, Göttingen, Heidelberg : Springer-Verlag, 1960. - 555 p.
  
• [Ouvrage] Complete theories / Principal Robinson, Abraham. -Amsterdam, N.Y., Oxford : North-Holland Publishing Co., 1977. - 129 p.
  ISBN 978-0-7204-0690-0
  
• [Ouvrage] Deux esquisses de logique / Principal Barkley Rosser, J.. -Louvain, Paris : Gauthier-Villars, 1955. - 65 p.
  
• [Ouvrage] Introduction to model theory and to the metamathematics of algebra / Principal Robinson, Abraham. -Amsterdam : North-Holland Publishing Co., 1965. - 284 p.
  
• [Ouvrage] Constructible sets with applications / Principal Mostowski, A.. -Amsterdam, Warszawa : North-Holland Publishing Co.;PWN-Polish Scientific Publishers, 1969. - 269 p.
  
• [Congrès] Logical systems containing only a finite number of symbols / Principal Henkin, Leon. -Montréal : Les Presse de l'Université de Montréal, 1967
  ISBN 978-0-8405-0073-1
  
• [Ouvrage] Stabilité en théorie des modèles / Principal Lascar, D.. -Louvain la Neuve : Cabay, 1986. - 231 p.
  ISBN 978-2-87077-367-3
  
• [Ouvrage] Einführung in die verbandstheorie / Principal Hermes, Hans. -Berlin, Heidelberg, N.Y. : Springer-Verlag, 1967. - 209 p.
  
• [Ouvrage] Handbook of mathematical logic / Editeur Barwise, Jon. -Amsterdam, N.Y., Oxford : North-Holland Publishing Co., 1978. - 1165 p.
  ISBN 978-0-7204-2285-6
  
• [Ouvrage] Logique mathématique cours et exercices. Vol. II : - fonctions recursives, théorème de Gödel, théorie des ensembles, théorie des modèles / Principal Cori, René ; Co-auteur Lascar, Daniel ; Préfacier Krivine, J. L.. -Barcelone, Milan, Paris : Masson, 1993. - 347 p.
  ISBN 978-2-225-84080-7
  
• [Ouvrage] Six papers in logic / Principal Artemov, S. N. ; Co-auteur Bekenov, M. I. ; Secondaire Korshunov, A. D.. -Providence, R. I. : American Mathematical Society, 1987. - 79 p.
  ISBN 978-0-8218-3111-3
  
• [Ouvrage] Model theory / Principal Hodges, Wilfrid. -Cambridge : Cambridge University Press, 1993. - 772 p.
  ISBN 978-0-521-30442-9
  
• [Ouvrage] Continuous model theory / Principal Chang, Chen Chung ; Co-auteur Keisler, H. Jérome. -New Jersey, Princeton : Princeton University Press, 1966. - 165 p.
  
• [Ouvrage] Model theory / Principal Chang, C.C. ; Co-auteur Keisler, H. J.. -Amsterdam, N.Y., Oxford : North-Holland Publishing Co., 1973. - 554 p.
  ISBN 978-0-7204-2273-3
  
• [Ouvrage] Model theory for modal logic - Kripke models for modal predicate calculi / Principal Bowen, Kenneth A.. -Boston, Dordrecht, London : D. Reidel Publishing Company, 1979. - 127 p.
  
• [Ouvrage] A transfinite type theory with type variables / Principal Andrews, Peter B.. -Amsterdam : North-Holland Publishing Co., 1965. - 143 p.
  
• [Ouvrage] Aspects of mathematical logic, CIME III - Settembre 9-17 / Coordinateur Casari, E.. -Roma : Edizioni Cremonese, 1969
  
• [Congrès] Model theory and applications - Centre internazionale matematico estivo II ciclo - Giugno 20-28 / Coordinateur Mangani, P.. -Roma : Editions Cremonese, 1975
  
• [Ouvrage] Relative category theory and geometric morphisms - a logical approach / Principal Chapman, Jonathan ; Co-auteur Rowbottom, Frederick. -Oxford : Clarendon Press, 1992. - 263 p.
  ISBN 978-0-19-853434-1
  
• [Ouvrage] Verifying concurrent processes using temporal logic / Principal Hailpern, Brent T.. -Berlin, Heidelberg, N.Y. : Springer-Verlag, 1982. - 208 p.
  ISBN 978-3-540-11205-1
  
• [Congrès] Set theory and model theory : - proceedings of an informal symposium held at bonn#June 1-3 / Editeur Jensen, R. B. ; Editeur Prestel, A.. -Berlin, Heidelberg, N.Y. : Springer-Verlag, 1981. - 1174 p.
  ISBN 978-3-540-10849-8
  
• [Ouvrage] Proofs and types / Principal Girard, Jean-Yves ; Co-auteur Taylor, Paul ; Co-auteur Lafont , Yves. -Cambridge, Melbourne, N.Y. : Cambridge University Press, 1989. - 176 p.
  ISBN 978-0-521-37181-0
  
• [Congrès] Atti degli incontri di logica matematica,vol.3 - siena,8-11 gennaio,1985,padova,24-27 ottobre,1985,siena 2-5 aprile,1986 / Editeur Ferro, Ruggero ; Editeur Zanardo, Alberto. -Siena : Dipartimento Di Matematica, 1987
  
• [Congrès] Atti degli incontri di logica matematica,vol. 2 - siena,5-8 gennaio,6-9 aprile,1983,9-12 gennaio,25-28 aprile,1984 / Editeur Bernardi, Claudio ; Editeur Pagli, Paolo. -Siena : Dipartimento Di Matematica, 1985
  
• [Congrès] Atti degli incontri di logica matematica,vol. 1 - siena,7-9 gennaio,15-17 aprile,4-6 giugno,1982 / Editeur Bernardi, Claudio. -Siena : Dipartimento Di Matematica, 1983
  
• [Ouvrage] Multiple forcing / Principal Jech, Thomas. -Cambridge, London, Melbourne : Cambridge University Press, 1986. - 136 p.
  ISBN 978-0-521-26659-8
  
• [Ouvrage] Fundamentals of stability theory / Principal Baldwin, John T.. -Berlin, Heidelberg, N.Y. : Springer-Verlag, 1988. - 447 p.
  ISBN 978-3-540-15298-9
  
• [Ouvrage] Model theory and modules / Principal Prest, Mike. -Melbourne, N.Y., New Rochelle : Cambridge University Press, 1988. - 380 p.
  ISBN 978-0-521-34833-1
  
• [Congrès] Theorie des modeles en logique mathematique / Principal Daigneault, Aubert. -Montreal : Les Presse de l'Université de Montréal, 1967. - 136 p.
  
• [Congrès] Classification theory - proceeding of the u.s. israel workshop on model theory in mathematical logic held in chicago,dec. 15-19,1985 / Editeur Baldwin, John T.. -Berlin, Heidelberg, N.Y. : Springer-Verlag, 1987
  ISBN 978-3-540-18674-8
  
• [Ouvrage] Intuitionistic logic model theory and forcing / Principal Fitting, Melvin Chris. -Amsterdam, London : North-Holland Publishing Co., 1969. - 191 p.
  ISBN 978-0-7204-2256-6
  
• [Congrès] Logic symposia hakone 1979, 1980 : - proceedings of conferences on... held in hakone#March 21-24 and Feb. 4-7 / Editeur Muller, G. H. ; Editeur Takeuti, G. ; Editeur Tugue, T.. -Berlin, Heidelberg, N.Y. : Springer-Verlag, 1985. - 431 p.
  ISBN 978-3-540-11161-0
  
• [Congrès] Logic colloquium '84 - proceedings of the colloquium held in manchester,u.k.,july 15-24,1984 / Editeur Paris, J. B. ; Editeur Wilkie, A. J. ; Editeur Wilmers, J. M.. -Amsterdam, N.Y., Oxford : North-Holland, 1985
  ISBN 978-0-444-87999-8
  
• [Ouvrage] Around classification theory of models / Principal Shelah, Saharon. -Berlin, Heidelberg, N.Y. : Springer-Verlag, 1986. - 279 p.
  ISBN 978-3-540-16448-7
  
• [Congrès] Intensional logic - proceedings of the second soviet finnish logic conference held at the academy of science of the ussr,moscow,dec. 3-7,1979 / Editeur Niiniluoto, I. ; Editeur Saarinen, E.. -Helsinki : Distributed By Akateemineen Kirjakauppa;Societas Philosophica Fennica, 1982
  ISBN 978-951-95054-8-0
  
• [Congrès] Logic year 1979-80,the university of connecticut / Editeur Lerman, M. ; Editeur Schmeil, J. H. ; Editeur Soare, R. I.. -Berlin Heidelberg, N.Y. : Springer-Verlag, 1981. - 326 p.
  ISBN 978-3-540-10708-8
  
• [Ouvrage] Model-theoretic logics / Editeur Baldwin, John T. ; Editeur Barwise, Jon ; Editeur Baudisch, A. ; Editeur Feferman, S.. -Berlin, Heidelberg, N.Y. : Springer-Verlag, 1985. - 189 p.
  ISBN 978-0-387-90936-3
  
• [Ouvrage] An introduction to stability theory / Principal Pillay, Anand. -Oxford : Clarendon Press, 1983. - 146 p.
  ISBN 978-0-19-853186-9
  
• [Congrès] Sets,models and recursion theory - proceedings of the summer school in mathematical logic and tenth logic colloquium,leicester,aug. - sept.,1965 / Editeur Crossley, John N.. -Amsterdam : North-Holland Publishing Co., 1967
  
• [Congrès] The theory of models : - proceedings of the 1963 international symposium held at University of California#June 25 - July 11 / Editeur Addison, J. W. ; Editeur Henkin, L. ; Editeur Tarski, A.. -Amsterdam, London : North-Holland Publishing Co., 1972. - 494 p.
  ISBN 978-0-7204-2233-7
  
• [Congrès] Séminaire général de logique 1982-83 / Secondaire Delon, Françoise ; Secondaire Lascar, Daniel ; Secondaire Louveau, Alain ; Secondaire Sabbagh, Gabriel. -Paris : U.E.R. De Mathematiques & L.A. Du C.N.R.S.;Universite Paris VII, 1983
  
• [Congrès] Models and sets, part I : - proceedings of the logic colloquium held in aachen#July 18-23 / Editeur Muller, G. H. ; Editeur Richter, M. M.. -Berlin, Heidelberg, N.Y. : Springer-Verlag, 1984. - 396 p.
  ISBN 978-0-387-13900-5
  
• [Congrès] Logic colloquium'82 - proceedings of the colloquium held in Florence,23-28 aug.,1982 / Editeur Lolli, G. ; Editeur Longo, G. ; Editeur Marcja, A.. -Amsterdam, N.Y., Oxford : North-Holland, 1984
  ISBN 978-0-444-86876-3
  
• [Ouvrage] Proof methods for modal and intuitionistic logics / Principal Fitting, Melvin. -Boston, Dordrecht, Lancaster : D. Reidel Publisher Co., 1983. - 553 p.
  ISBN 978-90-277-1573-9
  
• [Congrès] Model theory of algebra and arithmetic : - proceedings of the conference on applications of logic to algebra and arithmetic held at karpacz#Sept. 1- 7 / Editeur Pacholski, L. ; Editeur Wierzejewski, J. ; Editeur Wilkie, A. J.. -Berlin, Heidelberg, N.Y. : Springer-Verlag, 1980. - 410 p.
  ISBN 978-0-387-10269-6
  
• [Ouvrage] Classical propositional operators : - an exercice in the foundations of logic / Principal Segerberg, Krister. -Oxford : Clarendon Press, 1982. - 152 p.
  ISBN 978-0-19-853173-9
  
• [Ouvrage] Automation of reasoning. Vol. 2 : - classical papers on computational logic 1967-1970 / Editeur Siekman, Jorg ; Editeur Wrightson, Graham. -Berlin, Heidelberg, N.Y. : Springer-Verlag, 1983. - 637 p.
  ISBN 978-0-387-12044-7
  
• [Congrès] Abelian group theory - proceedings of the conference held at the university of hawaii#Dec. 28, 1982 - Jan. 4, 1983 / Editeur Gobel, R. ; Editeur Lady, L. ; Editeur Mader, A.. -Berlin, Heidelberg, N.Y. : Springer-Verlag, 1983. - 771 p.
  ISBN 978-0-387-12335-6