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

Documents (Codes MSC)

• [Ouvrage] Undecidable theories / Principal Tarski, Alfred ; Collaborateur Mostowski, Andrzej ; Collaborateur Robinson, Raphael M.. -Amsterdam : North-Holland Publishing Co., 1953. - xi; 98 p.
  ISBN 978-0-7204-2246-7
  
• [Ouvrage] Algorithms and recursive functions / Principal Mal'Cev, A. I.. -Groningen : Wolters-Noordhoff Publishing, 1970. - 372 p.
  ISBN 978-90-01-57070-5
  
• [Congrès] Advances in logic : - the north texas logic conference#Oct. 8-10 / Editeur Gao, Su ; Editeur Jackson, Steve ; Editeur Zhang, Yi. -Providence, Rhode Island : Amercian Mathematical Society, 2007. - 150 p.
  ISBN 978-0-8218-3819-8
  
• [Ouvrage] The undecidability of the domino problem / Principal Berger, Robert. -Providence : American Mathematical Society, 1966. - 72 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
  
• [Ouvrage] Logique, informatique et paradoxes / Principal Delahaye, Jean-Paul. -Paris : 1993
  ISBN 978-2-9029-1894-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] Theory of formal systems / Principal Smullyan, Raymond M.. -Princeton, New Jersey : Princeton University Press, 1961. - 147 p.
  ISBN 978-0-691-08047-5
  
• [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] Zagadnienia rozstrzygalnosci / Principal Grzegorczyk, Andrzej. -Warszawa : Panstwowe Wydawnictwo Naukowe, 1957. - 141 p.
  
• [Ouvrage] Computability and unsolvability / Principal Davis, Martin D.. -London, N.Y., Toronto : McGraw-Hill Book Company, 1958. - 210 p.
  
• [Ouvrage] A hierarchy of formulas in set theory / Principal Levy, Azriel. -Providence, R.I. : American Mathematical Society, 1965
  
• [Ouvrage] Initial segments of degrees below o' / Principal Epstein, Richard L.. -Providence, R.I. : American Mathematical Society, 1981
  ISBN 978-0-8218-2241-8
  
• [Congrès] Topology : - a collection of papers / Editeur Aleksandrov, P. S.. -Providence, R.I. : American Mathematical Society, 1985. - 333 p.
  ISBN 978-0-8218-3086-4
  
• [Ouvrage] Degrees of insolvability structure and theory / Principal Epstein, Richard L.. -Berlin, Heidelberg, N.Y. : Springer-Verlag, 1979. - 240 p.
  ISBN 978-0-387-09710-7
  
• [Ouvrage] Degrees of insolvability : - local and global theory / Principal Lerman, Manuel. -Berlin, Heidelberg, N.Y. : Springer-Verlag, 1983. - 307 p.
  ISBN 978-0-387-12155-0