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

Documents (Codes MSC)

• [Ouvrage] An introduction to Ramsey theory: - fast functions, infinity, and metamathematics / Principal Katz, Matthew ; Co-auteur Reimann, Jan. -Providence : American Mathematical Society, 2018. - xiv; 207 p.
  ISBN 978-1-4704-4290-3
  
• [Ouvrage] Complexité et décidabilité / Principal Dehornoy, Patrick. -Berlin, Paris : Springer-Verlag;Société de Mathématiques Appliquées et Industrielles, 1993. - 200 p.
  ISBN 978-3-540-56899-5
  
• [Ouvrage] Algorithms and recursive functions / Principal Mal'Cev, A. I.. -Groningen : Wolters-Noordhoff Publishing, 1970. - 372 p.
  ISBN 978-90-01-57070-5
  
• [Thèse] Définissabilité en arithmétique et méthode de codage ZBV appliquée à des langages avec successeur et coprimarité / Principal Richard, Denis. -Lyon : Université Claude Bernard - Lyon I, 1985. - pag. multi.
  
• [Ouvrage] Field arithmetic / Principal Fried, M. D. ; Co-auteur Jarden, Moshe. -Berlin, Heidelberg : Springer, 2005. - 780 P.
  ISBN 978-3-540-22811-0
  
• [Ouvrage] Métamathématique / Principal Lorenzen, Paul ; Traducteur Grize, J. B.. -Paris : Gauthier-Villars;Mouton, 1967. - 166 p.
  
• [Congrès] Hilbert's tenth problem : - relations with arithmetic and algebraic geometry#workshop on ... took place in the historical surroundings of the former Dominican Abbey "Het Pand"#Nov. 2-5 / Editeur Denef, Jan ; Editeur Lipshitz, Leonard ; Editeur Pheidas, Thanases. -Providence : American Mathematical Society, 2000. - 367 p.
  ISBN 978-0-8218-2622-5
  
• [Congrès] Non-standard logics and logical aspects of computer science - First workshop on ... nsl'94 - dec. 5-8 / Editeur Ono, H. -Amsterdam, Lausane, N.y. : Elsevier, 1997
  
• [Ouvrage] Panoramas of mathematics - colloquia 93-94 / Editeur Jakubczyk, Bronislaw ; Editeur Janeczko, Stanislaw ; Editeur Ziemian, Bogdan. -Warszawa : IMPAN, 1995
  
• [Ouvrage] Decision problems for equational theories of relation algebras / Principal Andréka, Hajnal ; Co-auteur Givant, Steven ; Co-auteur Németi , Istvan. -Providence, R.I. : American Mathematical Society, 1997
  ISBN 978-0-8218-0595-4
  
• [Ouvrage] The classical decision problem / Principal Börger, Egon ; Co-auteur Grädel, Erich ; Co-auteur Gurevich , Yuri. -Berlin, Heidelberg : Springer, 1997. - 482 p.
  ISBN 978-3-540-57073-8
  
• [Congrès] Conference in mathematical logic - Bedford College - Aug. 24- 28 / Editeur Hodges, Wilfrid. -Berlin, Heidelberg, N.Y. : Springer-Verlag, 1972
  ISBN 978-3-540-05744-4
  
• [Ouvrage] Büchi's monadic second order successor arithmetic / Principal Siefkes, Dirk. -Berlin, Heidelberg, N.Y. : Springer-Verlag, 1970
  
• [Congrès] Séminaire du laboratoire logique, algorithmique et informatique Clermont 1. Vol. V - 1993-94 / Editeur Gaillard, F. ; Editeur Richard, D.. -Clermont : Laboratoire Logique Algorithmique Informatique, 1994
  
• [Ouvrage] systèmes formels - introduction à la logique et à la théorie des langages / Principal Benzaken, Claude. -Barcelone, Bonn, Milan, Paris : Masson, 1991. - 166 p.
  ISBN 978-2-225-82567-5
  
• [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] Computational complexity / Principal Papadimitriou, Christos H.. -Menlo Park, N.Y., Reading : Addison-Wesley Publishing Company, 1994. - 521 p.
  ISBN 978-0-201-53082-7
  
• [Ouvrage] Solvable cases of the decision problem / Principal Ackermann, W.. -Amsterdam : North-Holland Publishing Co., 1968. - 114 p.
  
• [Publication] Proceedings of the IX Latin American symposium on mathematical logic -Bahia Blanca : INMABB-CONICET Universidad Nacional del Sur, 1993. - 190 p.
  ISBN
  
• [Ouvrage] Sentences undecidable in formalized arithmetic : - an exposition of the theory of Kurt Gödel / Principal Mostowski, Andrzej. -Amsterdam : North-Holland Publishing Co., 1964. - 117 p.
  
• [Ouvrage] Complexité et décidabilité / Principal Dehornoy, P.. -Berlin, Heidelberg, Paris : Springer-Verlag, 1993
  ISBN 978-2-287-00416-2
  
• [Ouvrage] Word processing in groups / Secondaire Cannon, James W. ; Secondaire Epstein, David B. A. ; Secondaire Holt, Derek F.. -Boston, London : Jones and Bartlett Publishers, 1992
  ISBN 978-0-86720-244-1
  
• [Ouvrage] Zarys logiki matematycznej / Principal Grzegorczyk, Andrzej. -Warszawa : Panstwowe Wydawnictwo Naukowe, 1961. - 477 p.
  
• [Ouvrage] Notions sur les grammaires formelles / Principal Gross, Maurice ; Co-auteur Lentin, André. -Paris : Gauthier-Villars, 1967. - 196 p.
  
• [Ouvrage] The decision problem : - solvable classes of quantificational formulas / Principal Dreben, Burton ; Co-auteur Goldfard, Warren D.. -Amsterdam, Don Mills, London : Addison-Wesley Publishing Company, 1979. - 271 p.
  ISBN 978-0-201-02540-8
  
• [Ouvrage] Mathematics : - the nex golden age / Principal Devlin, Keith. -London : Penguin Books, 1988. - 287 p.
  ISBN 978-0-14-022728-4
  
• [Ouvrage] Calculabilité et décidabilité - une introduction / Principal Autebert, Jean-Michel. -Barcelone, Milan, Paris : Masson, 1992. - 118 p.
  ISBN 978-2-225-82632-0
  
• [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
  
• [Ouvrage] Graph-based proof procedures for horn clauses / Principal Raatz, Stan. -Basel, Berlin, Boston : Birkhäuser Verlag, 1990. - 147 p.
  ISBN 978-0-8176-3530-5
  
• [Ouvrage] Decidability and boolean representations / Principal Burris, Stanley ; Co-auteur Mckenzie, Ralph. -Providence, R.I. : American Mathematical Society, 1981
  ISBN 978-0-8218-2246-3
  
• [Ouvrage] Bounds on transfer principles for algebraically closed and complete discretely valued fields / Principal Brown, Scott Sharey. -Providence, R.I. : American Mathematical Society, 1978
  ISBN 978-0-8218-2204-3
  
• [Ouvrage] Cinq conférences sur l'indécidabilité / Principal Bouleau, Nicolas ; Co-auteur Girard, Jean-Yves ; Co-auteur Louveau, Alain. -Paris : Presse De L'Ecole Nationale Des Ponts Et Chaussees, 1983. - 77 p.
  ISBN 978-2-85978-055-5
  
• [Congrès] Foundations of computation theory : - proceedings of the 1983 international pct-conference held at borgholm#Aug. / Editeur Karpinski, Marek. -Berlin, Heidelberg, N.Y. : Springer-Verlag, 1983. - 514 p.
  ISBN 978-0-387-12689-0