Foundations of mathematics : questions of analysis, geometry & algorithmics /
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Berlin ; New York :
Springer-Verlag,
[1993]
|
| Subjects: |
Similar Items
The mathematics of metamathematics.
by: Rasiowa, Helena
Published: (1970)
by: Rasiowa, Helena
Published: (1970)
Constructivity in mathematics ; proceedings /
Published: (1959)
Published: (1959)
Elementary logic of science and mathematics.
by: Nidditch, P. H.
Published: (1960)
by: Nidditch, P. H.
Published: (1960)
Introduction to metamathematics /
by: Kleene, Stephen Cole, 1909-1994
Published: (1952)
by: Kleene, Stephen Cole, 1909-1994
Published: (1952)
Introduction to metamathematics.
by: Kleene, Stephen Cole, 1909-1994
Published: (1952)
by: Kleene, Stephen Cole, 1909-1994
Published: (1952)
Undecidable theories /
by: Tarski, Alfred, 1901-1983
Published: (1953)
by: Tarski, Alfred, 1901-1983
Published: (1953)
Godel's proof /
by: Nagel, Ernest, 1901-1985
Published: (1958)
by: Nagel, Ernest, 1901-1985
Published: (1958)
Beweistheorie.
by: Schütte, K. (Kurt)
Published: (1960)
by: Schütte, K. (Kurt)
Published: (1960)
Les limitations internes des formalismes ; etude sur la signification du theoreme de Godel et des theoremes apparentes dans la theorie des fondements des mathematiques.
by: Ladrière, Jean
Published: (1957)
by: Ladrière, Jean
Published: (1957)
Metamathematik.
by: Lorenzen, Paul, 1915-1994
Published: (1962)
by: Lorenzen, Paul, 1915-1994
Published: (1962)
The collected papers of Gerhard Gentzen /
by: Gentzen, Gerhard
Published: (1969)
by: Gentzen, Gerhard
Published: (1969)
Mechanism, mentalism, and metamathematics : an essay on finitism /
by: Webb, Judson Chambers, 1936-
Published: (1980)
by: Webb, Judson Chambers, 1936-
Published: (1980)
Archiv für mathematische Logik und Grundlagenforschung.
Published: (1950)
Published: (1950)
Thinking about Gödel and Turing : essays on complexity, 1970-2007 /
by: Chaitin, Gregory J.
Published: (2007)
by: Chaitin, Gregory J.
Published: (2007)
Journal of formalized reasoning.
The metamathematics of algebraic systems, collected papers: 1936-1967 /
by: Malʹt︠s︡ev, A. I. (Anatoliĭ Ivanovich), 1909-1967
Published: (1971)
by: Malʹt︠s︡ev, A. I. (Anatoliĭ Ivanovich), 1909-1967
Published: (1971)
The collected papers of Gerhard Gentzen /
Published: (1969)
Published: (1969)
Gödel, Escher, Bach : an eternal golden braid /
by: Hofstadter, Douglas R., 1945-
Published: (1999)
by: Hofstadter, Douglas R., 1945-
Published: (1999)
Godel, Escher, Bach : an eternal golden braid /
by: Hofstadter, Douglas R., 1945-
Published: (1979)
by: Hofstadter, Douglas R., 1945-
Published: (1979)
Godel, Escher, Bach : an eternal golden braid /
by: Hofstadter, Douglas R., 1945-
Published: (1980)
by: Hofstadter, Douglas R., 1945-
Published: (1980)
Gödel, Escher, Bach : ein endloses geflochtenes Band /
by: Hofstadter, Douglas R., 1945-
Published: (1985)
by: Hofstadter, Douglas R., 1945-
Published: (1985)
On the metamathematics of algebra /
Published: (1951)
Published: (1951)
Theory of formal systems.
by: Smullyan, Raymond M.
Published: (1961)
by: Smullyan, Raymond M.
Published: (1961)
Infinitistic methods ; proceedings /
Published: (1961)
Published: (1961)
Undecidable theories /
Published: (1953)
Published: (1953)
Foundations of Mathematics : Questions of Analysis, Geometry & Algorithmics /
by: Engeler, Erwin
Published: (1993)
by: Engeler, Erwin
Published: (1993)
Metamagical themas : questing for the essence of mind and pattern /
by: Hofstadter, Douglas R., 1945-
Published: (1985)
by: Hofstadter, Douglas R., 1945-
Published: (1985)
The foundation of mathematics /
by: Heerden, Pieter Jacobus van
Published: (1968)
by: Heerden, Pieter Jacobus van
Published: (1968)
The foundations of mathematics /
by: Stewart, Ian
Published: (1979)
by: Stewart, Ian
Published: (1979)
Foundations of mathematics /
by: Hatcher, William S.
Published: (1968)
by: Hatcher, William S.
Published: (1968)
The foundations of mathematics /
by: Stewart, Ian, 1945-, et al.
Published: (2015)
by: Stewart, Ian, 1945-, et al.
Published: (2015)
The foundations of mathematics /
by: Stewart, Ian, 1945-, et al.
Published: (1977)
by: Stewart, Ian, 1945-, et al.
Published: (1977)
Mathematical logic and the foundations of mathematics ; an introductory survey.
by: Kneebone, G. T.
Published: (1963)
by: Kneebone, G. T.
Published: (1963)
Logic and foundations of mathematics /
Published: (1968)
Published: (1968)
Introduction to the foundations of mathematics.
by: Wilder, Raymond Louis, 1896-1982
Published: (1952)
by: Wilder, Raymond Louis, 1896-1982
Published: (1952)
Remarks on the foundations of mathematics /
by: Wittgenstein, Ludwig, 1889-1951
Published: (1967)
by: Wittgenstein, Ludwig, 1889-1951
Published: (1967)
Foundations of mathematical logic.
by: Curry, Haskell B. (Haskell Brooks), 1900-1982
Published: (1963)
by: Curry, Haskell B. (Haskell Brooks), 1900-1982
Published: (1963)
Mathematical foundations of programming /
by: Beckman, Frank S.
Published: (1980)
by: Beckman, Frank S.
Published: (1980)
Remarks on the foundations of mathematics /
by: Wittgenstein, Ludwig, 1889-1951
Published: (1956)
by: Wittgenstein, Ludwig, 1889-1951
Published: (1956)
The foundations of intuitionistic mathematics /
Published: (1965)
Published: (1965)