Essential logic for computer science /

Código QR

Essential logic for computer science /

Detalles Bibliográficos
Autor principal:	Page, Rex L. 1944- (Autor/a)
Otros Autores:	Gamboa, Ruben (Autor/a)
Formato:	Libro
Lenguaje:	English
Publicado:	Cambridge, Massachusetts : The MIT Press, c2018.
Materias:	LOGICA COMPUTACIONAL

Ejemplares similares

Computability and logic /
por: Boolos, George
Publicado: (1980)

Discrete structures, logic, and computability /
por: Hein, James L., et al.
Publicado: (1995)

The logic of the sciences and the humanities
por: Northrop, Filmer Stuart Cuckow n. 1893, et al.
Publicado: (1960)

Mathematical logic and theoretical computer science
por: Kueker, D.W
Publicado: (1987)

Computer science and multiple-valued logic theory and applications
por: Rine, David C.
Publicado: (1977)

Applied logic for computer scientists : computational deduction and formal proofs /
por: Ayala-Rincón, Mauricio
Publicado: (2017)

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

IBM Symposium on Mathematical Foundations of Computer Science, Mathematical Logic & Computer Science, 3, Kansai, 21-23 Aug., 1978
Publicado: (1978)

The Computational complexity of logical theories /
por: Ferrante, Jeanne 1949-, et al.
Publicado: (1964)

Logic and computer science : lectures given at the 1st session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held at Montecatini Terme, Italy, june 20-28, 1988 /
por: Homer, S., et al.
Publicado: (1964)

Logic : a comprehensive introduction /
por: Guttenplan, Samuel D. 1944-
Publicado: (1998)

Logic, methodology and philosophy of sciences proceedings of the 1964 International Congress
por: Bar-Hillel y Yehoshua
Publicado: (1965)

Basic logic /
por: Mendelsohn, Richard L.
Publicado: (1987)

Introduction to Logic /
por: Copi, Irving M.
Publicado: (2002)

Introduction to Logic
por: Copi, Irving M.
Publicado: (1994)

Logic, methodology and philosophy of science IV : proceedings of the Fourth International Congress for Logic, Methodology and Philosophy of Science, Bucharest, 1971 /
por: Suppes, Patrick Colonel 1922-
Publicado: (1973)

Logic /
por: Salmon, Wesley C., et al.
Publicado: (1963)

Logic /
por: Ruge, Arnold 1802-1880, et al.
Publicado: (1913)

Lógica para la computación : teorías de primer orden, resolución y elementos de programación lógica y prolog.
por: Ledesma, Luis de
Publicado: (2010)

Logic and philosophy of logic : recent trends in Latin America and Spain /
Publicado: (2018)

Logic and algorithms : with applications to the computer and information sciences. /
por: Korfhage, Robert R., et al.
Publicado: (1967)

Logic, computers and sets /
por: Wang, Hao 1921-1995
Publicado: (1970)

Logic : the theory of inquiry
por: Dewey, John 1859-1952, et al.
Publicado: (1936)

Methods of logic
por: Quine, Willard Van Orman, et al.
Publicado: (1960)

Logic primer
por: Allen, Colin, et al.
Publicado: (1996)

Formal logic /
por: Maritain, Jacques 1882-1973, et al.
Publicado: (1946)

Philosophy of logic /
por: Putnam, Hilary 1927-, et al.
Publicado: (1971)

Methods of logic /
por: Quine, Willard Van Orman, 1908-2000
Publicado: (1966)

Introduction to logic
por: Copi, Irving M.
Publicado: (1961)

Logic for Undergraduates
por: Kreyche, Robert J.
Publicado: (1970)

Introduction to logic /
por: Copi, Irving Marmer
Publicado: (1957)

Introduction to logic /
por: Copi, Irving M.
Publicado: (2000)

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

Becoming logical : an introduction to logic /
por: Churchill, Robert Paul
Publicado: (1986)

Algebraic logic
por: Halmos, Paul R.
Publicado: (1962)

Logic and the basis ethics /
por: Prior, Arthur N.
Publicado: (1949)

The development of logical empiricism /
por: Joergensen, Joergen
Publicado: (1951)

An introduction to deductive logic
por: Leblanc, Hugues 1924-, et al.
Publicado: (1955)

Introduction to logical theory /
por: Strawson, Peter F., et al.
Publicado: (1952)

Logic and effectiv argument
por: Bilsky, Manuel 1910-, et al.
Publicado: (1956)