Cargando…

Choice sequences : a chapter of intuitionistic mathematics

Detalles Bibliográficos
Autor principal:	Troelstra, Anne Sjerp
Formato:	Libro
Publicado:	Oxford : Clarendon Press, 1977
Materias:	Sucesiones (Matemáticas)

Ejemplares similares

Constructivism in mathematics : an introduction
por: Troelstra, Anne Sjerp
Publicado: (1988)

Una mirada al cálculo a través de las sucesiones /
por: Briseño, Luis
Publicado: (2015)

Una mirada al cálculo a través de las sucesiones / Luis Briseño, Óscar Palmas, Julieta Verdugo
por: Briseño, Luis
Publicado: (2012)

Sucesiones y series
por: Takeuchi, Yu, 1948-
Publicado: (1976)

Sequential analysis
por: Wald, Abraham, 1902-1950
Publicado: (1947)

Sequential methods in statistics /
por: Wetherill, G. Barrie
Publicado: (1975)

Mathematical logic and the foundations of mathematics : an introductory survey /
por: Kneebone, G. T.
Publicado: (1963)

Principles of intuitionism
por: Troelstra, Anne Sjerp
Publicado: (1969)

Principles of mathematics /
por: Russell, Bertrand, 1872-1970
Publicado: (1937)

Handbook of mathematical logic
Publicado: (1977)

What is mathematical logic
Publicado: (1990)

Course of mathematical logic
por: Fraíssé, Roland
Publicado: (1974)

A concise introduction to pure mathematics /
por: Liebeck, M. W. (Martin W.), 1954-
Publicado: (2006)

First order mathematical logic /
por: Margaris, Angelo
Publicado: (1990)

Popular lectures on mathematical logic
por: Wang, Hao, 1921-
Publicado: (1993)

The uncertain reasoner's companion : a mathematical perspective /
por: Paris, J. B. (Jeff B.)
Publicado: (1994)

An outline of mathematical logic : fundamental results and notions explained with all details
por: Grzegorczyk, Andrzej
Publicado: (1974)

Foundations of mathematical logic
por: Curry, Haskell B. 1900-1982 (Haskell Brooks)
Publicado: (1977)

Introduction to mathematical logic
por: Mendelson, Elliott
Publicado: (1997)

Essays in constructive mathematics
por: Edwards, Harold M.
Publicado: (2005)

Mathematics and plausible reasoning /
por: Polya, George, 1887-
Publicado: (1990)

Introducción al intuicionismo
por: Heyting, A
Publicado: (1976)

Matemáticas y razonamiento plausible
por: Polya, George, 1887-1985
Publicado: (1966)

El desarrollo de la lógica matemática /
por: Nidditch, P.H
Publicado: (1995)

How to read and do proofs : an introduction to mathematical thought processes /
por: Solow, Daniel
Publicado: (1990)

An introduction to complex analysis and geometry /
por: D'Angelo, John P.
Publicado: (2011)

Lógica matemática elemental
por: Zubieta Russi, Francisco
Publicado: (1977)

Primer curso de lógica matemática
por: Suppes, Patrick, 1922-2014
Publicado: (1979)

La máquina y las demostraciones : matemáticas, lógica e informática
por: Lolli, Gabriele, 1942-
Publicado: (1991)

Manual de lógica para estudiantes de matemáticas
por: Zubieta Russi, Gonzalo
Publicado: (1971)

An essay on the psychology of invention in the mathematical fields
por: Hadamard, Jacques, 1865-1963
Publicado: (1954)

The philosophy of mathematics
por: Hintikka, Jaakko, 1929-
Publicado: (1969)

A mathematical introduction to logic
por: Enderton, Herbert B.

Introduction to mathematical logic
por: Mendelson, Elliott
Publicado: (2015)

Notes on logic and set theory /
por: Johnstone, P. T.
Publicado: (1987)

Imaginario colectivo y creación matemática : la construcción social del número, el espacio y lo imposible en China y en Grecia /
por: Lizcano, Emmánuel
Publicado: (1993)

First course in mathematical logic
por: Suppes, Patrick, 1922-2014
Publicado: (2002)

The philosophy of mathematics : an introductory essay /
por: Körner, Stephan, 1913-
Publicado: (1986)

Logic, sets, and recursion
por: Causey, Robert L.
Publicado: (2006)

El método de la inducción matemática
por: Sominskii, Ilia Samuilovich
Publicado: (1972)

Cannot write session to /tmp/vufind_sessions/sess_qq5221fj35ce7d8c2nvllpvj5g