Handbook of logic in computer science

Mostrar otras versiones (3)

Guardado en:

Detalles Bibliográficos
Otros Autores:	Abramsky, S., Gabbay, Dov M., Maibaum, T. S. E.
Formato:	Libro
Lenguaje:	Inglés
Publicado:	Oxford : Clarendon Press, c1992-1995
Materias:	LOGICA MATEMATICA
Aporte de:	Registro referencial: Solicitar el recurso aquí Biblioteca Central Dr. Luis F. Leloir (FCEN) de Universidad de Buenos Aires

Ejemplares similares

Handbook of logic in computer science /
Publicado: (1999)

Handbook of logic in computer science /
Publicado: (1999)

HANDBOOK of logic in computer science.
Publicado: (1999)

Logic from computer science
Publicado: (1992)

Logic for computer science : foundations of automatic theorem proving
por: Gallier, Jean H.
Publicado: (1987)

Logical foundations of computer science : international symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007 : proceedings
Publicado: (2007)

Mathematical logic for computer science /
por: Zhongwan, Lu
Publicado: (1998)

Mathematical logic for computer science.
por: Ben-Ari, M., 1948-
Publicado: (1993)

Introduction to logic and to the methodology of deductive sciences
por: Tarski, Alfred
Publicado: (1941)

Logic in computer science : modelling and reasoning about systems
por: Huth, Michael, 1962-
Publicado: (2004)

Logic and algorithms : with applications to the computer sciences
por: Korfhage, Robert R.
Publicado: (1966)

Computability and logic /
por: Boolos, George S.
Publicado: (1974)

Introduction to logic
por: Packard, Dennis J
Publicado: (1980)

Logic for mathematicians
por: Rosser, J. Barkley
Publicado: (1953)

Logic for mathematicians
por: Rosser, John Barkley
Publicado: (1953)

Arrow logic and multi-modal logic
Publicado: (1996)

Bulletin of symbolic logic
Publicado: (1995)

Computer science logic : 17th international workshop, CSL 2003, 12th annual conference of the EACSL, 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003 : proceedings
Publicado: (2003)

Logic colloquium ´92
Publicado: (1995)

Computability : computable functions, logic, and the foundations of mathematics
por: Epstein, Richard L.
Publicado: (2000)

Modal logic
por: Blackburn, Patrick
Publicado: (2001)

The logical basis for computer programming /
por: Manna, Zohar
Publicado: (1985)

Logic machines and diagrams
por: Gardner, Martin
Publicado: (1958)

Extending modal logic
por: Rijke, Maarten de
Publicado: (1993)

Foundations of mathematical logic
por: Curry, Haskell B.
Publicado: (1963)

Algebraic relativization and arrow logic
por: Marx, Maarten
Publicado: (1995)

Elements of logic via numbers and sets
por: Johnson
Publicado: (1998)

First steps in modal logic
por: Popkorn, Sally
Publicado: (1994)

LOGIC, álgebra and computation.
Publicado: (1991)

Mathematical logic /
por: Kleene, Stephen Cole
Publicado: (1968)

Elements of Mathematical Logic.
por: Novikov, P. S.
Publicado: (1964)

Firts-order logic
por: Smullyan, Raymond M.
Publicado: (1995)

Temporal logic : mathematical foundations and computational aspects /
por: Gabbay, Dov M.
Publicado: (1994)

Introduction to mathematical logic
por: Dinkines, Flora
Publicado: (1964)

Sets, logic and categories
por: Cameron, Peter J.
Publicado: (1998)

Discrete structures, logic, and computability
por: Hein, James L.
Publicado: (2014)

Introduction to logic and to the methodology of deductive sciences.
por: Tarski, Alfred
Publicado: (1995)

Logic for applications /
Publicado: (1997)

Formal logic /
por: Prior, A.N
Publicado: (1955)

A manual of intensional logic
por: Benthem, Johan van
Publicado: (1988)