Metamathematik /
Κύριος συγγραφέας: | Lorenzen, Paul, 1915-1994 (συγγραφέας.) |
---|---|
Μορφή: | Βιβλίο |
Γλώσσα: | German |
Έκδοση: |
Mannheim :
Bibliographisches Institut,
[c1962].
|
Σειρά: | B.I. Hochschultaschenbucher
25. |
Θέματα: |
Παρόμοια τεκμήρια
-
Constructivity in mathematics : proceedinds of the Colloquium held at Amsterdam, 1957 /
Έκδοση: (1959) -
Introduction to Metamathematics
ανά: Kleene, Stephen C.
Έκδοση: (1967) -
Μεταμαθηματικές θεωρήσεις στην [sic] γεωμετρία από τους Hilbert και Tarski
ανά: Ζούπας, Αθανάσιος
Έκδοση: (2015) -
Differential und Integral : Eine konstruktive Einfuhrung in die klassische Analysis /
ανά: Lorenzen, Paul, 1915-1994
Έκδοση: (1965) -
Einführung in die operative Logik und Mathematik /
ανά: Lorenzen, Paul, 1915-1994
Έκδοση: (1969)