Cargando…

Introducción al intuicionismo

Detalles Bibliográficos
Autor principal:	Heyting, A
Formato:	Libro
Publicado:	Madrid : Tecnos, 1976
Colección:	Estructura y Función, El Porvenir Actual de la Ciencia ; 46
Materias:	Matemáticas > Metodología Lógica matemática

Ejemplares similares

Introducción al razonamiento matemático /
por: Castaño Perea, Jaime Andrés

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

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

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

What is mathematical logic
Publicado: (1990)

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

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

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

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

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)

Handbook of mathematical logic
Publicado: (1977)

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

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

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

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)

Logic for mathematicians
por: Hamilton, A. G., 1943-
Publicado: (1988)

Una introducción matemática a la lógica
por: Enderton, Herbert B.

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

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

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

Introducción a la lógica simbólica
por: Langer, Susanne Katherina Knauth, 1895-1985
Publicado: (1969)

Introducción a la lógica formal
por: Deaño Gamallo, Alfredo
Publicado: (1974)

Introducción a la lógica simbólica
por: Langer, Susanne Katherina Knauth, 1895-1985
Publicado: (1972)

Introduccion al lenguaje de la matemática
por: Fregoso, Arturo
Publicado: (1972)

?Qué es la lógica matemática?
Publicado: (1988)

Pensamiento metódico
por: Lorenzen, Paul, 1915-1994
Publicado: (1982)

Pensamiento metódico
por: Lorenzen, Paul, 1915-1994
Publicado: (1973)

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

Introducción al estilo matemático
por: Lorenzo, Javier de
Publicado: (1971)

Estudios sobre semántica /
por: Frege, Gottlob, 1848-1925
Publicado: (1972)

Estudios sobre semántica
por: Frege, Gottlob, 1848-1925
Publicado: (1973)

An examination of a decision procedure
por: Oglesby, Francis C.
Publicado: (1962)

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

Introducción al pensamiento matemático : sociólogos, contadores, psicólogos, administradores, profesores, economistas /
por: Miller, Charles David, 1942-
Publicado: (1979)

Introducción al simbolismo lógic /
por: Bosch, Jorge
Publicado: (1973)

Admissible sets and structures : an approach to definability theory
por: Barwise, Jon
Publicado: (1975)

Los fundamentos de la matemática y otros ensayos sobre lógica /
por: Ramsey, Frank Plumpton, 1903-1930
Publicado: (1968)

Introcucción a la filosofía matemática
por: Brand, Walther
Publicado: (1930)

Cannot write session to /tmp/vufind_sessions/sess_ukqm7ak0ahr39sur704tp2figc