Cover Image

A theory of formal deducibility

Saved in:

Bibliographic Details
Main Author:	Curry, Haskell B (Author)
Format:	Book
Language:	English
Published:	Notre Dame University of Notre Dame 1950
Series:	Notre Dame Mathematical Lectures, 6
Subjects:	Lógica matemática
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Introductory formal logic of mathematics
by: Nidditch, P. H.
Published: (1957)

Introducción a la lógica y al análisis formal
by: Sacristán Luzón, Manuel
Published: (1964)

On formally undecidable propositions of principia mathematica and related systems
by: Gödel, Kurt Friedrich
Published: (1992)

Formal logic
by: Prior, Arthur N
Published: (1962)

Formale und Transzendentale Logik. Versuch einer Kritik der logischen Vernunft
by: Husserl, Edmund
Published: (1974)

Theory of formal systems
by: Smullyan, Raymond M
Published: (1961)

Model theory: An Introduction
by: Marker, David
Published: (2002)

Lógica combinatoria
by: Curry, Haskell B, et al.
Published: (1967)

Toward a systematic pragmatics
by: Martin, Richard Milton
Published: (1959)

Set theory and logic
by: Stoll, Robert R
Published: (1963)

Introducción a la lógica simbólica
by: Stahl, Gerold
Published: (1968)

Introducción a la lógica matemática
by: Galicia Arrambide, Moisés
Published: (1980)

Introducción a la lógica simbólica
by: Suppes, Patrick
Published: (1966)

Set theory and logic
by: Fraenkel, Abraham Adolf
Published: (1966)

An investigation of the laws of thought on which are founded the mathematical theories of logic and probabilities
by: Boole, George
Published: (1958)

La structure algébrique des théories mathématiques
by: Henkin, Leon
Published: (1956)

Elementary theory of sets
by: Dinkines, Flora
Published: (1964)

Elements of mathematical logic
by: Lukasiewicz, Jan
Published: (1963)

Mathematical logic
by: Shoenfield, Joseph R
Published: (1967)

Notes on logic
by: Lyndon, Roger C.
Published: (1966)

Logic for mathematicians
by: Rosser, J. Barkley
Published: (1953)

First-order logic
by: Smullyan, Raymond M
Published: (1968)

Many-valued logics
by: Rosser, J. Barkley, et al.
Published: (1952)

Introduction to Mathematical Logic
by: Dinkines, Flora
Published: (1964)

Qué son los números ?: el método axiomático
by: Chuaqui, Rolando Basim
Published: (1980)

Epistemología matemática y psicología
by: Beth, Evert W, et al.
Published: (1980)

Introducción al simbolismo lógico
by: Bosch, Jorge E
Published: (1971)

Identidad en la lógica matemática
by: Nemesszeghy Voros, Elemer
Published: (1967)

El desarrollo de la lógica matemática
by: Nidditch, P. H.
Published: (1980)

El juego de la lógica y otros escritos
by: Carroll, Lewis
Published: (1984)

Lógica de primer orden
by: Mosterín, Jesús
Published: (1970)

Hacia una lógica de significaciones
by: Piaget, Jean, et al.
Published: (1989)

La logique à l'école
by: Glaymann, Maurice, et al.
Published: (1972)

Popular lectures on mathematical logic
by: Wang, Hao
Published: (1993)

Logic colloquium
by: Parikh, Rohit
Published: (1975)

Elements of mathematical logic
by: Novikov, P. S. (Petr Sergeevich)
Published: (1964)

The principles of mathematics
by: Russell, Bertrand
Published: (1937)

Introducción al simbolismo lógico
by: Bosch, Jorge E
Published: (1970)

Lógica simbólica para informáticos
by: Iranzo, Pascual Julián
Published: (2005)

Lógica para la computación: teorías de primer orden, resolución y elementos de programación lógica y PROLOG
by: Ledesma, Luis de
Published: (2010)