Choice sequences : a chapter of intuitionistic mathematics /

Choice sequences : a chapter of intuitionistic mathematics /

Saved in:

Bibliographic Details
Main Author:	Troelstra, A. S.
Format:	Book
Language:	English
Published:	Oxford [Eng.] : 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)

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

Intuitionism : an introduction /
Published: (1966)

Intentional mathematics /
Published: (1985)

Intuitionism : an introduction /
Published: (1956)

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)

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

Phenomenology, logic, and the philosophy of mathematics /
by: Tieszen, Richard L.
Published: (2005)

Phenomenology, logic, and the philosophy of mathematics /
by: Tieszen, Richard L., 1951-2017
Published: (2005)

Algebraic Shift Register Sequences /
Published: (2012)

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

Automatic sequences /
by: Haeseler, Friedrich von
Published: (2003)

Sequences and the De Bruijn graph : properties, constructions, and applications /
by: Etzion, Tuvi, 1956-
Published: (2024)

Farey Sequences.
by: Matveev, Andrey O.
Published: (2017)

User's guide to spectral sequences /
by: McCleary, John
Published: (1985)

Algebraic shift register sequences /
by: Goresky, Mark, 1950-, et al.
Published: (2012)

The encyclopedia of integer sequences /
by: Sloane, N. J. A. 1939-
Published: (1995)

A user's guide to spectral sequences /
by: McCleary, John, 1952-
Published: (2001)

Sequence transformations and their applications /
by: Wimp, Jet
Published: (1981)

A handbook of integer sequences
by: Sloane, N. J. A. 1939-
Published: (1973)

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

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

Automatic sequences : theory, applications, generalizations /
by: Allouche, Jean-Paul, 1953-, et al.
Published: (2003)

Automatic sequences : theory, applications, generalizations /
by: Allouche, Jean-Paul, 1953-
Published: (2003)

Automatic sequences : theory, applications, generalizations /
by: Allouche, Jean-Paul, 1953-
Published: (2003)

Sequence transformations and their applications /
by: Wimp, Jet
Published: (1981)

One...two...three...Sassafras! /
by: Murphy, Stuart J., 1942-
Published: (2002)

Digital nets and sequences : discrepancy and quasi-Monte Carlo integration /
by: Dick, J., et al.
Published: (2010)

Digital nets and sequences : discrepancy and quasi-Monte Carlo integration /
by: Dick, J.
Published: (2010)

Manifolds with singularities and the Adams-Novikov spectral sequence /
by: Botvinnik, Boris I.
Published: (1992)

Manifolds with singularities and the Adams-Novikov spectral sequence /
by: Botvinnik, Boris I.
Published: (1992)

On Brouwer /
by: Atten, Markus Sebastiaan Paul Rogier van, 1973-
Published: (2004)

Rabbit's pajama party /
by: Murphy, Stuart J., 1942-
Published: (1999)

Periodically correlated random sequences : spectral theory and practice /
by: Hurd, Harry L. 1940-
Published: (2007)

Sets of multiples /
by: Hall, R. R.
Published: (1996)

Sequence analysis primer /
Published: (1994)

The consistency of the axiom of choice and of the generalized continuum-hypothesis with the axioms of set theory /
by: Gödel, Kurt
Published: (1940)

Intuitionistic logic, model theory and forcing.
by: Fitting, Melvin, 1942-
Published: (1969)