Cover Image

Choice sequences : a chapter of intuitionistic mathematics /

Bibliographic Details
Main Author:	Troelstra, A. S. (Anne Sjerp)
Format:	Book
Language:	English
Published:	Oxford [England] : Clarendon Press, 1977.
Series:	Oxford logic guides.
Subjects:	Intuitionistic mathematics. Sequences (Mathematics)

Similar Items

The foundations of intuitionistic mathematics /
Published: (1965)

A short introduction to intuitionistic logic /
by: Mint͡s, G. E.
Published: (2000)

On Skolem and Herbrand theorems for intuitionistic logic.
by: Jervell, Herman Ruge
Published: (1972)

Craig's interpolation theorem for the intuitionistic logic of constant domains /
by: Jervell, Herman Ruge
Published: (1971)

Intuitionism : an introduction /
Published: (1966)

Metamathematical investigation of intuitionistic arithmetic and analysis /
by: Troelstra, A. S. (Anne Sjerp)
Published: (1973)

Proof methods for modal and intuitionistic logics /
by: Fitting, Melvin, 1942-
Published: (1983)

Semantical investigations in Heyting's intuitionistic logic /
by: Gabbay, Dov M., 1945-
Published: (1981)

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

Elements of intuitionism.
by: Dummett, Michael, 1925-2011
Published: (2000)

Brouwer's Cambridge lectures on intuitionism /
by: Brouwer, L. E. J. (Luitzen Egbertus Jan), 1881-1966
Published: (1981)

Intuitionistic fuzzy measures : theory and applications /
by: Ban, Adrian I.
Published: (2006)

Automated proof search in non-classical logics : efficient matrix proof methods for modal and intuitionistic logics /
by: Wallen, Lincoln A.
Published: (1990)

Intensional mathematics /
Published: (1985)

Metamathematical investigation of intuitionistic arithmetic and analysis /
by: Troelstra, A. S. (Anne Sjerp)
Published: (1973)

Intuitionism : an introduction /
Published: (1956)

Semantical investigations in Heyting's intuitionistic logic /
by: Gabbay, Dov M., 1945-
Published: (1981)

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

Intentional mathematics /
Published: (1985)

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

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

The L.E.J. Brouwer Centenary Symposium : proceedings of the conference held in Noordwijkerhout, 8-13 June 1981 /
Published: (1982)

Constructive mathematics : proceedings of the New Mexico State University conference held at Las Cruces, New Mexico, August 11-15, 1980 /
Published: (1981)

Extensional Godel functional interpretation ; a consistency proof of classical analysis.
by: Luckhardt, Horst
Published: (1973)

Constructivism in mathematics : an introduction.
by: Troelstra, A. S. (Anne Sjerp)
Published: (1988)

Constructivism in mathematics : an introduction /
by: Troelstra, A. S. (Anne Sjerp)
Published: (1988)

Recurrence and topology /
by: Alongi, John M., 1971-
Published: (2007)

Sequences /
by: Halberstam, H. (Heini)
Published: (1983)

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

The L.E.J. Brouwer Centenary Symposium : proceedings of the conference held in Noordwijkerhout, 8-13 June 1981 /
Published: (1982)

Recurring sequences ; a collection of papers.
by: Jarden, Dov
Published: (1966)

Uniform distribution of sequences /
by: Kuipers, Lauwerens
Published: (1974)

Intuition and the axiomatic method /
Published: (2006)

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

Recurrence sequences /
Published: (2003)

Sequences : combinatorics, compression, security, and transmission /
Published: (1990)

Sequences /
by: Halberstam, H. (Heini)
Published: (1966)

Sequences and their applications : proceedings of SETA'98 /
Published: (1999)

Journal of integer sequences.
Published: (1998)

Sequences II : methods in communication, security and computer science /
Published: (1993)