The importance of Goedel's second incompleteness theorem for the foundations of mathematics | 三重大学附属図書館 OPAC

Blank Cover Image

タイトル、所在を表示します

The importance of Goedel's second incompleteness theorem for the foundations of mathematics

フォーマット:: 図書
責任表示:: Michael Detlefsen
言語:: 英語
出版情報:: Ann Arbor : University Microfilms International, 1981
形態:: 127 leaves of plates ; 22 cm
著者名:: Detlefsen, Michael, 1948- <DA00377053>
書誌ID:: BB21135756
ISBN:: (: pbk)

子書誌情報

所蔵情報

Loading availability information

タイトルが類似している資料

詳細

その他のタイトル:	The importance of Gödel's second incompleteness theorem for the foundations of mathematics
資料形態(詳細):	Text
主題:	数学
注記:	Facsimile reprint of the author's thesis(Ph. D.)--The Johns Hopkins University, 1976 Other title from t.p. of original issue
登録日:	2016-05-10

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 図書 Gödel's incompleteness theorems Smullyan, Raymond M., 1919- Oxford University Press	7 図書 Theorems and counterexamples in mathematics Gelbaum, Bernard R., Olmsted, John Meigs Hubbell, 1911- Springer-Verlag
2 図書 Second language learning : theoretical foundations Sharwood Smith, Michael, 1942- Longman	8 図書 The number devil : a mathematical adventure Enzensberger, Hans Magnus, 1929-, Berner, Rotraut Susanne, 1948-, Heim, Michael Henry, 1943- Henry Holt
3 図書 Foundations of constructive mathematics : metamathematical studies Beeson, Michael J., 1945- Springer-Verlag	9 図書 Foundations of cognitive science Posner, Michael I. The MIT Press
4 図書 Proceedings of the Second IBM Symposium on Mathematical Foundations of Computer Sciences : the complexity of algorithms IBM Symposium on Mathematical Foundations of Computer Science, IBM Japan. Corporate & Scientific Programs Corporate & Scientific Programs IBM Japan	10 図書 Théorèmes de représentabilité pour les espaces algébriques Artin, Michael, Lascu, Alexandru, Boutot, Jean François Presses de l'Université de Montréal
5 図書 Mathematical foundations Castellani, Leonardo, D'Auria, R., Fré, P. World Scientific	11 図書 Mathematical foundations of programming semantics : 5th International Conference, Tulane University, New Orleans, Louisiana, USA, March 29-April 1, 1989, … International Conference on the Mathematical Foundation of Programming Semantics, Main, Michael, 1956- Springer-Verlag
6 図書 The automation of reasoning with incomplete information : from semantic foundations to efficient computation Schaub, Torsten Springer	12 図書 Mathematical foundations of programming language semantics : 3rd workshop, Tulane University, New Orleans, Louisiana, USA, April 8-10, 1987 : proceedings Main, Michael, 1956-, Workshop on the Mathematical Foundations of Programming Language Semantics Springer-Verlag