El Lenguaje de la Lógica: Introducción a la Lógica de Primer Orden
por Jon Barwise, John Etchemendy · 1993
Ver sugerenciasSinopsis
Este libro utiliza un enfoque innovador, combinando texto y software interactivo (Turing's World y Tarski's World) para enseñar lógica de primer orden, un pilar fundamental para la algoritmia y la computación.
Sé el primero en valorar este libro.
Más de Jon Barwise
Ver autor →Otras obras del mismo autor en el catálogo
An Outline of Set Theory
1971
Definability by Boolean Combinations
1977
Computation and Proof
1981
Model-Theoretic Logics
1982
The Laws of Truth
1983
Situations and Attitudes
1988
Logic and the Structure of the World
1992
Tarski's World
1993
The Language of Evaluation
1993
Turing's World
1993
El Lenguaje de la Lógica
1993
Lógica y fundamentos de la lógica
1993
Language, Proof and Logic
1999
Mathematical Logic
1999
Semantics for Disjunctive Logic Programming
1999
Libros similares
Libros relacionados según distintos criterios de búsqueda
Descubre libros parecidos a este
Entra para ver las conexiones que yoleo encuentra con el resto del catálogo, y para guardar los que te interesen.