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

Metamathematik

種類:
図書
責任表示:
von Paul Lorenzen
出版情報:
Mannheim : Bibliographisches Institut, c1962
著者名:
Lorenzen, Paul <DA01481935>  
シリーズ名:
B.I.-Hochschultaschenbücher ; Bd. 25 <BA03806240>
注記:
Includes bibliography
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 Theory of formal systems

Smullyan, Raymond M., 1919-

Princeton University Press
7 図書 Algorithmic information theory

Chaitin, Gregory J.

Cambridge University Press
2 図書 Introduction to model theory and to the metamathematics of algebra

Robinson, Abraham, 1918-1974

North-Holland Pub. Co.
8 図書 Differential und Integral : eine konstruktive Einführung in die klassische Analysis

Lorenzen, Paul

Akademische Verlagsgesellschaft
3 図書 A relational theory of computing

Sanderson, John G., 1929-

Springer-Verlag
9 図書 Formale logik

Lorenzen, Paul

Walter de Gruyter
4 図書 Theory of formal systems

Smullyan, Raymond M., 1919-

Princeton University Press
10 図書 Einführung in die operative Logik und Mathematik

Lorenzen, Paul

Springer-Verlag
5 図書 Gödel, Escher, Bach : an eternal golden braid

Hofstadter, Douglas R., 1945-

Penguin
11 図書 Pädagogische Ideen bei Hermann Hesse

Lorenzen, Hermann

I. Setzkorn-Scheifhacken
6 図書 Introduction to metamathematics

Kleene, Stephen Cole, 1909-

North-Holland, P. Noordhoff
12 図書 Pädagogische Schriften

Francke, August Hermann, 1663-1727, Lorenzen, Hermann

F. Schöningh