Mechanism, mentalism, and metamathematics: : an essay on finitism/

Main Author:	Webb, Judson Chambers
Format:	Book
Published:	Dordrecht : D.Reidel Publishing Company, c1980
Series:	Synthese library ; v. 137
Subjects:	Metamathematics Incompleteness theorems

Similar Items

The incompleteness phenomenon : a new course in mathematical logic /
by: Goldstern, Martin
Published: (1995)

On the metamathematics of algebra/
by: Robinson, Abraham, 1918-1974
Published: (1951)

Undecidable theories/
by: Tarski, Alfred, 1901-1983
Published: (1953)

Introduction to metamathematics /
by: Kleene, Stephen Cole, 1909-
Published: (1971)

Introduction to metamathematics/
by: Kleene, Stephen Cole, 1909-1994
Published: (1952)

The metamathematics of algebraic systems : collected papers: 1936-1967 /
by: Malʹcev, Anatolii Ivanovich, 1909-1967
Published: (1971)

Inexhaustibility : a non-exhaustive treatment /
by: Franzen, Torkel
Published: (2004)

Inexhaustibility : a non-exhaustive treatment /
by: Franzen, Torkel
Published: (2004)

Aspects of incompleteness/
by: Lindström, Per, 1936-
Published: (1997)

Godel's theorem an incomplete guide to its use and abuse /
by: Franzen, Torkel
Published: (2005)

Introduction to model theory and to the metamathematics of algebra/
by: Robinson, Abraham, 1918-1974
Published: (1974)

Introduction to model theory and to the metamathematics of algebra/
by: Robinson, Abraham, 1918-1974
Published: (1974)

Introduction to model theory and to the metamathematics of algebra/
by: Robinson, Abraham, 1918-1974
Published: (1963)

The incompleteness phenomenon : a new course in mathematical logic /
by: Goldstern, Martin
Published: (1998)

Theorie metamathematique des ideaux /
by: Robinson, Abraham
Published: (1955)

Metamathematique /
by: Lorenzen, Paul
Published: (1967)

Metamathematik/
by: Lorenzen, Paul, 1915-1994
Published: (1962)

Métamathématique/
by: Lorenzen, Paul, 1915-1994
Published: (1967)

Incomplete block designs
by: Dey, Aloke.
Published: (2010)

Cyclic designs/
by: John, J. A.
Published: (1987)

Mathematized humanities via humanized mathematics/
by: Polak, Vaclav
Published: (1992)

Theory of formal systems/
by: Smullyan, Raymond M.
Published: (1961)

Les limitations internes des formalismes : étude sur la signification du théoréme de Go?del et des théorémes apparentés dans la théorie des fondaments des mathématiques /
by: Ladrie?re, Jean
Published: (1957)

Théorie métamathématique des idéaux/
by: Robinson, Abraham, 1918-1974
Published: (1955)

Theory of formal systems/
by: Smullyan, Raymond M.
Published: (1961)

Algorithmic information theory/
by: Chaitin, Gregory J.
Published: (1987)

Der pythagoreische Lehrsatz, mit einem Ausblick auf das Fermatsche Problem/
by: Lietzmann, Walther, 1880-1959
Published: (1917)

Elementary logic of science and mathematics/
by: Nidditch, P. H.
Published: (1960)

Theoreme de fermat : solution general de lʹ equation Χ^+Ψ^=Ζ^ /
by: Παπαδάκης, Κωνσταντίνος Νικ.
Published: (1989)

Foundations of quantum mechanics since the Bell inequalities : selected reprints /
Published: (1988)

Les theoremes d'incompletude de Godel /
by: Smullyan, Raymond M.
Published: (1993)

The stable marriage problem : structure and algorithms /
by: Gusfield, Dan
Published: (1989)

Tauberian theorems/
by: Pitt, H. R.
Published: (1958)

The Pythagorean proposition : its demonstrations analyzed and classified and bibliography of sources for data of the four kinds of "proofs" /
by: Loomis, Elisha Scott, 1852-1940
Published: (1968)

Θεώρημα FERMAT : γενική λύσις επί της εξισώσεως Xn + Ψn = Zn /
by: Παπαδάκης, Κωνσταντίνος Ν.
Published: (1990)

Για το θεώρημα μη-πληρότητας του Godel/
by: Uspenskii, Vladimir Andreevich
Published: (1998)

Reciprocity laws : from Euler to Eisenstein /
by: Lemmermeyer, Franz, 1962-
Published: (2000)

̂Gōdel's proof /
by: Nagel, Ernest, 1901-1985.
Published: (2001)

The theorem of Pythagoras
Published: (1988)

Godel's theorem in focus/
Published: (1988)

Cannot write session to /tmp/vufind_sessions/sess_uspvep257s5netds41hhs2hin0