Blank Cover Image
このページのQRコード

Undecidable theories

種類:
図書
責任表示:
by Alfred Tarski ; in collaboration with Andrzej Mostowski and Raphael M. Robinson
出版情報:
Amsterdam : North-Holland Pub. Co., 1953
著者名:
シリーズ名:
Studies in logic and the foundations of mathematics <BA00099329>
注記:
Bibliography: p. 89-91
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料
1. Undecidable theories. [3rd printing]
In collaboration with Andrzej Mostowski and Raphael M. Robinson , North-Holland Pub. Co. , 1971

類似資料:

3
 
4
 
7
 
8
 
12
 
1 図書 Undecidable theories

Tarski, Alfred, 1902-, Mostowski, Andrzhei︠a︡, Robinson, Raphael M. (Raphael Mitchel), 1911-

North-Holland Pub. Co.
7 図書 Introduction to logic and to the methodology of the deductive sciences

Tarski, Alfred, 1902-, Tarski, Jan

Oxford University Press
2 図書 Sentences undecidable in formalized arithmetic : an exposition of the theory of Kurt Gödel

Mostowski, Andrzhei︠a︡

North-Holland Pub. Co.
8 図書 Gödel's proof

Nagel, Ernest, 1901-, Newman, James Roy, 1907-1966

New York University Press
3 図書 The monadic second order theory of all countable ordinals

Büchi, J. Richard, 1924-1984, Siefkes, Dirk

Springer
9 図書 Introduction to higher algebra

Mostowski, Andrzhei︠a︡, Stark, Marceli

Pergamon Press
4 図書 Forever undecided : a puzzle guide to Gödel

Smullyan, Raymond M., 1919-

Oxford University Press
10 図書 Cardinal algebras : with an appendix, Cardinal products of isomorphism types

Tarski, Alfred, 1902-, Jónsson, Bjarni, 1920-

Oxford University Press
5 図書 Set theory

Kuratowski, Kazimierz, 1896-, Mostowski, Andrzhei︠a︡

North-Holland, Polish Scientific Publishers
11 図書 Introduction to logic and to the methodology of deductive sciences

Tarski, Alfred, 1902-, Helmer-Hirschberg, Olaf

Oxford University Press
6 図書 Constructible sets with applications

Mostowski, Andrzhei︠a︡

North-Holland
12 図書 The theory of models : proceedings of the 1963 International Symposium at Berkeley

International Symposium on the Theory of Models, Addison, J. W. (John West), 1930-, University of California, Berkeley, &hellip;

North-Holland