Elements of intuitionism/

Main Author:	Dummett, Michael, 1925-2011
Other Authors:	Minio, Roberto
Format:	Book
Language:	English
Published:	Oxford: Clarendon Press, c1977
Subjects:	Intuitionistic mathematics

Similar Items

Elements of intuitionism/
by: Dummett, Michael, 1925-2011
Published: (1977)

Elements of intuitionism/
by: Dummett, Michael A. E.
Published: (1977)

Elements of intuitionism/
by: Dummett, Michael A. E.
Published: (2000)

Mathematical intuitionism : introduction to proof theory /
by: Dragalin, A.G.
Published: (1988)

Principles of intuitionism/
by: Troelstra, Anne Sjerp
Published: (1969)

The foundations of intuitionistic mathematics : especially in relation to recursive functions /
by: Kleene, Stephen Cole, 1909-1994
Published: (1965)

A short introduction to intuitionistic logic
by: Minλtμs, G. E.
Published: (2000)

One hundred years of intuitionism (1907-2007) the Cerisy conference /
Published: (2008)

Extensional Go?del functional interpretation : a consistency proof of classical analysis /
by: Luckhardt, Horst
Published: (1973)

Metamathematical investigation of intuitionistic arithmetic and analysis/
Published: (1973)

Proof theory and intuitionistic systems
by: Scarpellini, Bruno
Published: (1971)

Mathematische grundlagenforschung intuitionismus beweistheorie/
by: Heyting, A.
Published: (1974)

The Kleene symposium : proceedings of the Symposium held June 18-24, 1978 at Madison Wisconsin, U.S.A. /
Published: (1980)

Ethical intuitionism /
by: Huemer, Michael
Published: (2005)

Ethical intuitionism/
by: Hudson, William Donald
Published: (1967)

Principles of intuitionism/
by: Troelstra, A. S.
Published: (1969)

Extensional constructs in intensional type theory/
by: Hofmann, Martin, 1965-
Published: (1997)

Ethical intuitionism: re-evaluations/
Published: (2002)

Evolutionary intuitionism a theory of the origin and nature of moral facts /
by: Zamulinski, Brian Edward, 1951-
Published: (2007)

Frege :
by: Dummett, Michael, 1925-2011.
Published: (1991)

Frege and other philosophers
by: Dummett, Michael, 1925-2011.
Published: (1991)

Frege: Philosophy of mathematics
by: Dummett, Michael
Published: (1991)

Frege and other philosophers/
by: Dummett, Michael, 1925-2011
Published: (1991)

Frege: philosophy of mathematics/
by: Dummett, Michael A. E.
Published: (1991)

Elements of mathematics /
by: Banks, J. Houston
Published: (1956)

Elements of mathematics for economics and finance/
by: Mavron, Vassilis C.
Published: (2007)

Elements of applied mathematics/
by: Zeldovich, Ya. B. 1914-1987
Published: (1976)

Elements of dynamic optimization /
by: Chiang, Alpha C., 1927-
Published: (1992)

Elements of dynamic optimization/
by: Chiang, Alpha C., 1927-
Published: (1992)

Element technology /
Published: (1986)

Elements of simulation/
by: Morgan, Byron J. T., 1946-
Published: (1984)

Elements de mathematique/
by: Βουρβάκης, Νικόλαος
Published: (1961)

Elements de mathematique/
by: Βουρβάκης, Νικόλαος
Published: (1967)

The new elements of mathematics
by: Peirce, Charles S. 1839-1914.
Published: (1976)

The Elements of advanced mathematics
by: Krantz, Steven G. 1951-
Published: (1995)

Elements of modern mathematics/
by: May, Kenneth Ownsworth, 1915-
Published: (1959)

Elements of mathematics /
by: Μπουρμπάκης, Νικόλας
Published: (2004)

Éléments dʹanalyse/
by: Dieudonne?, Jean Alexandre, 1906-1992
Published: (1968)

Éléments dʹanalyse/
by: Dieudonne?, Jean Alexandre, 1906-1992
Published: (1969)

Éléments dʹanalyse/
by: Dieudonne?, Jean Alexandre, 1906-1992
Published: (1974)

Cannot write session to /tmp/vufind_sessions/sess_a586db4armt7kguj2d948b77q7