Cargando…

Elements of intuitionism

Detalles Bibliográficos
Autor principal:	Dummett, Michael, 1925-2011
Formato:	Libro
Lenguaje:	English
Publicado:	Oxford : Clarendon Press, 1977
Colección:	Oxford Logic Guides
Materias:	Lógica simbólica y matemática

Ejemplares similares

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

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

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

Logic and structure /
por: Dalen, D. van (Dirk), 1932-

Primer curso de lógica matemática /
por: Suppes, Patrick, 1922-2014

El pensamiento lógico-matemático : elementos de heurística y apodíctica demostrativa /
por: Sagüillo Fernández-Vega, José Miguel
Publicado: (2008)

Elementos de lógica matemática /
por: Gortari, Elí de, 1918-1991
Publicado: (1983)

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

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

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

Admissibility of logical inference rules
por: Rybakov, Vladimir V. (Vladimir Vladimir), 1961-
Publicado: (1997)

Lógica y algoritmos : Con aplicaciones a las ciencias de la computación e información
por: Korfhage, Robert R.
Publicado: (1974)

Lógica matemática elemental
por: Mates, Benson, 1919-
Publicado: (1970)

The elements of formal logic /
por: Hughes, G. E. (George Edward), 1918-
Publicado: (1965)

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

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

Lógica /
Publicado: (1974)

Infinito, transfinito, finito
por: García Bacca, Juan David 1901-
Publicado: (1984)

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

Principia mathematica : to *56
por: Whitehead, Alfred North, 1861-1947
Publicado: (1962)

El teorema de G"del
por: Nagel, Ernest, 1901-
Publicado: (1970)

Elementary logic /
por: Mates, Benson, 1919-
Publicado: (1965)

Introduction to symbolic logic and its applications /
por: Carnap, Rudolf, 1891-1970
Publicado: (1958)

Introduction to mathematical logic
por: Church, Alonzo, 1903-1995
Publicado: (1956)

Symbolic logic
por: Copi, Irving M.
Publicado: (1970)

Lógica y conocimiento
por: Russell, Bertrand, 1872-1970
Publicado: (1981)

Lógica matemática I : lógica proposicional, intuicionista y modal /
por: Fernández, Max
Publicado: (2011)

El sentido de la nueva lógica
por: Quine, W. V. (Willard Van Orman)
Publicado: (1958)

Lógica : el pensamiento matemático
por: Callejo Canal, Diana Donají del
Publicado: (2016)

Lógica combinatoria
por: Curry, Haskell Brooks 1990-
Publicado: (1967)

Iniciación a la lógica simbólica
por: Arnaz, José Antonio
Publicado: (1989)

Iniciación a la lógica simbólica /
por: Arnaz, José Antonio
Publicado: (1978)

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

Ensayo de lógica operatoria
por: Piaget, Jean, 1896-1980
Publicado: (1977)

First-order logic : an introduction
por: Cauman, Leigh S.
Publicado: (1998)

Combinators, 2-terms and proof theory
por: Stenlund, Sören
Publicado: (1972)

Handbook of mathematical logic
Publicado: (1977)

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)

What is mathematical logic
Publicado: (1990)

Cannot write session to /tmp/vufind_sessions/sess_lls6g7bl265qhco1mc2tevobh6