Cargando…

Intuitionism : an introduction /

Mostrar otras versiones (1)

Detalles Bibliográficos
Clasificación:	Libro Electrónico
Otros Autores:	Heyting, A. (Arend), 1898-1980
Formato:	Electrónico eBook
Idioma:	Inglés
Publicado:	Amsterdam : North-Holland, 1966.
Edición:	2nd ed.
Colección:	Studies in logic and the foundations of mathematics ; v. 41.
Temas:	Intuitionistic mathematics. Math�ematiques intuitionnistes. Intuitionistic mathematics
Acceso en línea:	Texto completo Texto completo Texto completo

Ejemplares similares

The foundations of intuitionistic mathematics /
Publicado: (1965)

Intuitionism : an introduction /
Publicado: (1956)

Intentional mathematics /
Publicado: (1985)

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

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

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

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

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

Intuitionism and proof theory : Proceedings of the summer conference ; Aug 1968 /
Publicado: (1970)

Logic colloquium '85 : proceedings of the colloquium held in Orsay, France July 1985 /
Publicado: (1987)

Logic Colloquium '88 : proceedings of the Colloquium held in Padova, Italy August 22-31, 1988 /
Publicado: (1989)

Southeast Asian Conference on Logic : proceedings of the Logic Conference, Singapore, 1981 /
Publicado: (1983)

The axiomatic method /
Publicado: (1959)

Formal systems and recursive functions /
Publicado: (1965)

Problems in the philosophy of mathematics /
Publicado: (1967)

From Peirce to Skolem : a neglected chapter in the history of logic /
por: Brady, Geraldine
Publicado: (2000)

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

Proceedings of the Herbrand symposium : Logic Colloquium '81 ... held in Marseilles, France, July 1981 /
Publicado: (1982)

Contributions to mathematical logic : Proceedings of the Logic Colloquium, Hannover 1966 /
Publicado: (1968)

Realizability : an introduction to its categorical side /
por: Oosten, Jaap van
Publicado: (2008)

Logic Colloquium '87 : proceedings of the Colloquium held in Granada, Spain July 20-25, 1987 /
Publicado: (1989)

Logic Colloquium '77 : proceedings of the colloquium held in Wroc�aw, August 1977 /
Publicado: (1978)

Mathematical logic in Latin America : proceedings of the IV Latin American Symposium on Mathematical Logic held in Santiago, December 1978 /
Publicado: (1980)

Logic Colloquium 76 : proceedings of a conference held in Oxford in July 1976 /
Publicado: (1977)

Logic colloquium '78 : proceedings of the colloquium held in Mons, August 1978 /
Publicado: (1979)

The collected papers of Gerhard Gentzen /
Publicado: (1969)

Patras Logic Symposion : proceedings of the Logic Symposion held at Patras, Greece, August 18-22, 1980 /
Publicado: (1982)

Mathematical interpretation of formal systems
Publicado: (1955)

A survey of mathematical logic /
Publicado: (1963)

Elements of mathematical logic (Model theory)
por: Kreisel, Georg, et al.
Publicado: (1967)

Handbook of the logic of argument and inference : the turn towards the practical /
Publicado: (2002)

Logic Colloquium '86 : proceedings of the colloquium held in Hull, U.K. July 13-19, 1986 /
Publicado: (1988)

Logic colloquium '73 : proceedings /
Publicado: (1975)

Quantum theoretic machines : what is thought from the point of view of physics /
por: Stern, August, 1945-
Publicado: (2000)

Computability, complexity, logic /
por: B�orger, E. (Egon), 1946-
Publicado: (1989)

Mathematical analysis and proof /
por: Stirling, David S. G., 1947-
Publicado: (2009)

Sets, models and recursion theory : Proceedings of the Summer School in Mathematical Logic and tenth Logic Colloquium, Leicester, August-September 1965 /
Publicado: (1967)

Quantification in nonclassical logic /
por: Gabbay, Dov M., 1945-
Publicado: (2009)

Elementary induction on abstract structures /
por: Moschovakis, Yiannis N.
Publicado: (1974)

Categorical logic and type theory /
por: Jacobs, Bart
Publicado: (1999)

Cannot write session to /tmp/vufind_sessions/sess_49j0po57ps3jf4u4g7dthdnqa3