Cover Image

Lógica para la computación: teorías de primer orden, resolución y elementos de programación lógica y PROLOG

Saved in:

Bibliographic Details
Main Author:	Ledesma, Luis de (Author)
Format:	Book
Language:	Spanish
Published:	Cuernavaca Alfaomega 2010
Subjects:	Lógica matemática Lógica simbólica
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Lógica para informáticos
by: Farré Cirera, Rafel, et al.
Published: (2012)

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

Pruebas y refutaciones: la lógica del descubrimiento matemático
by: Lakatos, Imre
Published: (1982)

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

La lógica simbólica
by: Agazzi, Evandro
Published: (1986)

Lógica formal: su alcance y sus límites.
by: Jeffrey, Richard C.
Published: (1986)

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

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

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

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

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

Lógica simbólica: una breve introducción
by: Gómez Calderón, Javier
Published: (1979)

Los fundamentos de la matemática y otros ensayos sobre lógica
by: Ramsey, Frank Plumpton
Published: (1968)

Lógica, lingüística y matemáticas
by: Serrano, Sebastián
Published: (1977)

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

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

Sur les algèbres de Hilbert
by: Diego, Antonio
Published: (1966)

Lógica simbólica
by: Hegenberg, Leónidas
Published: (1966)

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

Lógica para lingüistas
by: Allwood, Jens, et al.
Published: (1981)

Teaching mathematical reasoning in secondary school classrooms
by: Brodie, Karin
Published: (2010)

An introduction to Hilbert space and quantum logic
by: Cohen, David W
Published: (1989)

Methods in mathematical logic
by: Prisco, C. A. di
Published: (1985)

Eléments de logique mathématique: théorie des modèles
by: Kreisel, G, et al.
Published: (1966)

Algebra and logic
by: Crossley, J. N
Published: (1975)

Ejercicios de lógica
by: Moreno, Alberto
Published: (1970)

Introducción a la lógica
by: Copi, Irving M
Published: (1969)

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

Modal logics
by: Feys, Robert
Published: (1965)

A course in mathematical logic
by: Manin, Yuri Ivanovich
Published: (1977)

The grammar of mathematics
by: Durst, Lincoln K
Published: (1969)

Introduction to mathematical logic
by: Mendelson, Elliott
Published: (1997)

Introduction a la logique mathématique
by: Novikov, P. S. (Petr Sergeevich)
Published: (1964)

An algebraic introduction to mathematical logic
by: Barnes, Donald W, et al.
Published: (1975)

Symbolic logic and language: a programmed text
by: Dickoff, James, et al.
Published: (1965)

Mathematical Logic
by: Monk, James Donald
Published: (1976)

Studies in foundations and combinatorics
by: Rota, Gian-Carlo
Published: (1978)

Colloque sur les fondements des mathématiques, les machines mathématiques, et leurs applications
Published: (1965)

Primer curso de lógica matemática
by: Suppes, Patrick, et al.
Published: (1968)

Introduction to mathematical logic
by: Mendelson, Elliott
Published: (1964)