Predicative arithmetic /

Main Author:	Nelson, Edward, 1932- (Author)
Format:	Book
Language:	English
Series:	Mathematical notes ; 32
Subjects:	Constructive mathematics.
Online Access:	http://site.ebrary.com/lib/ucy/Doc?id=10899983

Similar Items

Predicative arithmetic/
by: Nelson, Edward
Published: (1986)

Proof complexity and feasible arithmetics :DIMACS workshop, April 21-24, 1996 /
Published: (1998)

Philosophy of arithmetic: psychological and logical investigations: with supplementary texts from 1887-1901/
by: Husserl, Edmund, 1859-1938
Published: (2003)

Varieties of constructive mathematics/
by: Bridges, Douglas S., 1945-
Published: (1987)

Foundations of constructive mathematics: metamathematical studies/
by: Beeson, Michael J., 1945-
Published: (1985)

Foundations of algorithms using C++ pseudocode /
by: Neapolitan, Richard E.
Published: (2004)

Foundations of algorithms using C++ pseudocode/
by: Neapolitan, Richard E.
Published: (2004)

The foundations of arithmetic: a logico-mathematical enquiry into the concept of number/
by: Frege, Gottlob, 1848-1925
Published: (1978)

The foundations of arithmetic: a logico-mathematical enquiry into the concept of number/
by: Frege, Gottlob, 1848-1925
Published: (1980)

The foundations of arithmetic: a logico-mathematical enquiry into the concept of number/
by: Frege, Gottlob, 1848-1925
Published: (1950)

Bounded arithmetic/
by: Buss, Samuel R.
Published: (1986)

Logic and structure
by: Dalen, D. van 1932-
Published: (1994)

Meaning and existence in mathematics/
by: Castonguay, Charles
Published: (1972)

Principia mathematica: to 56/
by: Whitehead, Alfred North, 1861-1947
Published: (1962)

Mathematics and plausible reasoning/
by: Po?lya, George, 1887-1985
Published: (1968)

In the light of logic /
by: Feferman, Solomon.
Published: (1998)

Mathematical logic in the 20th century /
Published: (2003)

Mathematical logic /
by: Chiswell, Ian, 1948-
Published: (2007)

L'ideal scientifique des mathematiciens dans l'antiquite et dans les temps modernes/
by: Boutroux, Pierre, 1880-1922
Published: (1992)

Classification theory : proceedings of the U.S.-Israel Workshop on Model Theory in Mathematical Logic held in Chicago, Dec. 15-19, 1985 /
Published: (1987)

Euclid in the rainforest : discovering universal truth in logic and math /
by: Mazur, Joseph
Published: (2005)

Language, truth, and logic in mathematics /
by: Hintikka, Jaakko, 1929-
Published: (1998)

Philosophy of mathematics : 5 questions /
Published: (2008)

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

The foundations of mathematics and other logical essays,
by: Ramsey, Frank Plumpton, 1903-1930
Published: (1931)

Εξέλιξη των μαθηματικών εννοιών/
by: Wilder, Raymond L.
Published: (1986)

Introduction to the foundations of mathematics/
by: Wilder, Raymond Louis, 1896-
Published: (1952)

The foundations of mathematics and other logical essays,
by: Ramsey, Frank Plumpton, 1903-1930
Published: (1931)

The development of mathematical logic/
by: Nidditch, Peter H.
Published: (1998)

The origin of the logic of symbolic mathematics Edmund Husserl and Jacob Klein /
by: Hopkins, Burt C.
Published: (2011)

Distilling ideas an introduction to mathematical thinking /
by: Katz, Brian P.
Published: (2013)

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

Logic, sets, and recursion /
by: Causey, Robert L.
Published: (1994)

Mathematics and plausible reasoning/
by: Polya, George, 1887-1985
Published: (1954)

Mathematical logic/
by: Kleene, Stephen Cole, 1909-1994
Published: (2002)

Logical labyrinths/
by: Smullyan, Raymond M.
Published: (2009)

Mathematics and plausible reasoning/
by: Polya, George, 1887-1985
Published: (1968)

Mathematical thinking and writing : a transition to abstract mathematics /
by: Maddox, Randall B.
Published: (2002)

A mathematical introduction to logic /
by: Enderton, Herbert B.
Published: (1972)

Logical labyrinths /
by: Smullyan, Raymond M.
Published: (2009)

Cannot write session to /tmp/vufind_sessions/sess_2bjtab74cc6qm1u41rimjcung3