First-order functional calculus.

Guardado en:

Detalles Bibliográficos
Autor principal:	Keene, Geoffrey
Formato:	Libro
Lenguaje:	Inglés
Publicado:	London ; New York : Routledge & Kegan Paul : Dover, c1964.
Colección:	Monographs in Modern Logic
Materias:	Filosofía Lógica Lógica simbólica Metalógica Cálculo cuantificacional Cálculo funcional Pruebas

Ejemplares similares

Propositional calculus.
por: Nidditch, P. H.
Publicado: (1965.)

Quantification theory.
por: Faris, J. A.
Publicado: (c1964.)

Techniques of deductive inference.
por: Leblanc, Hugues
Publicado: (1966.)

Lógica simbólica.
por: Garrido, Manuel
Publicado: (2003.)

Nondeductive inference.
por: Ackermann, Robert
Publicado: (1966.)

Lógica matemática.
por: Ferrater Mora, José
Publicado: (1962.)

Lógica informática
por: Cuena, José
Publicado: (1985.)

Lógica simbólica para informáticos
por: Julián Iranzo, Pascual
Publicado: (c2005.)

Compendio de lógica matemática
por: Bochenski, J. M.
Publicado: (1982.)

Truth-functional logic.
por: Faris, J. A.
Publicado: (c1962.)

First order Mathematical Logic.
por: Margaris, Angelo
Publicado: (1967.)

Introduction to symbolic logic and its applications.
por: Carnap, Rudolf
Publicado: (c1958.)

Lógica simbólica.
por: Garrido, Manuel
Publicado: (1995.)

Introducción a la lógica moderna.
por: Stebbing, L. Susan
Publicado: (1965.)

Lógica simbólica.
por: Garrido, Manuel
Publicado: (1974.)

Elementos de lógica simbólica. Ejercicios /
por: Barreiro de Nudler, Telma .
Publicado: (1973)

Operational calculus and generalized functions /
por: Erdélyi, Arthur.
Publicado: ([1962])

A first course in the differential and integral calculus
por: Osgood, William F.
Publicado: (1920.)

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

Symbolic Logic.
por: Lewis, Clarence Irving
Publicado: (c1959.)

Lógica matemática : antecedentes y fundamentos.
por: Moreno, Alberto
Publicado: (1971.)

La logica simbolica /
por: Agazzi, Evandro.
Publicado: (1967)

Introducción al simbolismo lógico.
por: Bosch, Jorge
Publicado: (1971.)

Set theory and its logic.
por: Quine, Willard Van Orman
Publicado: (1963.)

Calculus : cálculo infinitesimal.
por: Spivak, Michael.
Publicado: (1999.)

Lógica divergente.
por: Haack, Susan
Publicado: (1980.)

Logica.
por: Dalla Chiara Scabia, Maria Luisa
Publicado: (c1974.)

An introduction to many-valued logics.
por: Ackermann, Robert
Publicado: (1967.)

An introduction to symbolic logic.
por: Langer, Susanne K.
Publicado: (1953.)

The calculus of variations.
por: Akhiezer, Naum I., 1901-
Publicado: (1962.)

Prolegómenos a la lógica simbólica.
por: Lío de Brizzio, Rosa de
Publicado: (c1968.)

Philosophical problems of many-valued logic.
por: Zinov'ev, A. A.
Publicado: (1963.)

Primer curso de lógica matemática
por: Suppes, Patrick
Publicado: (1968.)

Fundamentos de lógica y matemática
por: Carnap, Rudolf
Publicado: (1975.)

El álgebra de la lógica
por: Couturat, Louis
Publicado: (1976.)

Lógica divergente
por: Haack, Susan
Publicado: (1980.)

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

Introducción a la lógica simbólica
por: Suppes, Patrick.
Publicado: (c.1966)

Conceptos y problemas de la lógica moderna.
por: Hasenjaeger, Gisbert
Publicado: (c1968.)

Introducción al simbolismo lógico.
por: Bosch, Jorge
Publicado: (1981.)