Blank Cover Image
所蔵情報QRコード

Undecidable theories / by Alfred Tarski ; in collaboration with Andrzej Mostowski and Raphael M. Robinson

資料種別:
図書
出版情報:
Amsterdam : North-Holland Pub. Co., 1953
形態:
xi, 98 p. ; 22 cm
シリーズ名:
Studies in logic and the foundations of mathematics <BA00099329>
著者名:
書誌ID:
BA46337389
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information
他の版・巻

類似資料:

1 図書 Sentences undecidable in formalized arithmetic : an exposition of the theory of Kurt Gödel

Mostowski, Andrzhei︠a︡

North-Holland Pub. Co.
7 図書 Collected papers (v. 1. - v. 4.)

Tarski, Alfred, 1902-

Birkhäuser
2 図書 Set theory

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

North-Holland, Polish Scientific Publishers
8 図書 Gödel's incompleteness theorems

Smullyan, Raymond M., 1919-

Oxford University Press
3 図書 Set theory

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

North-Holland, Polish Scientific Publishers
9 図書 Enumerability, decidability, computability : an introduction to the theory of recursive functions

Hermes, Hans

Springer
4 図書 The undecidable : basic papers on undecidable propositions, unsolvable problems and computable functions

Davis, Martin, 1928-

Raven Press
10 図書 The monadic second order theory of all countable ordinals (: Germany ; : U.S.)

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

Springer
5 図書 A formalization of set theory without variables

Tarski, Alfred, 1902-, Givant, Steven R.

American Mathematical Society
11 図書 The large, the small and the human mind

Penrose, Roger, Longair, M. S., 1941-

Cambridge University Press
6 図書 Constructible sets with applications

Mostowski, Andrzhei︠a︡

North-Holland
12 図書 Introduction to higher algebra

Mostowski, Andrzhei︠a︡, Stark, Marceli

Pergamon Press
1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12