"Computability and Logic" - similar Books and Chapters

entries per page

Filter:

Showing 1 to 20 of 100 entries

Book	Author(s)	Year	Publisher
Computability and Logic	George S. Boolos; John P. Burgess; Richard C. Jeffrey	2007-09	Cambridge University Press
Computability and Logic	George S. Boolos; John P. Burgess; Richard C. Jeffrey	2002-03	Cambridge University Press
Computability and Logic	George S. Boolos; John P. Burgess; Richard C. Jeffrey	September 17, 2007	Cambridge University Press
Computability and logic	Daniel E. Cohen	1987	E. Horwood;Halsted Press
Computability, Complexity, Logic	E. Börger	1989	Elsevier
Discrete structures, logic, and computability	James L. Hein	2016	World Headquarters/Jones & Bartlett Learning
Discrete structures, logic, and computability	James L. Hein	1995	Jones and Bartlett
Discrete structures, logic, and computability	James L. Hein	2010	Jones and Bartlett Publishers
Combinatorics, Computability and Logic: Proceedings of the Third International Conference on Combinatorics, Computability and Logic, (DMTCS’01)	C.S. Calude; M.J. Dinneen; S. Sburlan	2001	Springer London
Proofs and Algorithms: An Introduction to Logic and Computability	Gilles Dowek	2011	Springer London
Martin Davis on Computability, Computational Logic, and Mathematical Foundations	Eugenio G. Omodeo; Alberto Policriti	1st ed. 2016	Springer International Publishing
Computability: computable functions,logic,and the foundations of mathematics	Richard L. Epstein; Richard .L. Epstein; Walter Alexandr Carnielli	1988	Brooks/Cole Advanced Books & Software
Computability in Context: Computation and Logic in the Real World	S. Barry Cooper, Andrea Sorbi	2009	World Scientific Publishing Company
Hilbert’s Tenth Problem - An Introduction to Logic, Number Theory, and Computability	M. Ram Murty, Brandon Fodden	2019	AMS
Computability: Computable Functions, Logic, and the Foundations of Mathematics, 3rd Edition	Richard L. Epstein, Walter A. Carnielli	2008	Advanced Reasoning Forum, Socorro, New Mexico, USA
Computability	Klaus Weihrauch	1987	Springer Berlin Heidelberg
Computability	George Tourlakis	1st ed. 2022	Springer International Publishing
Computability	George J. Tourlakis	1984	Reston Pub. Co.
Computability and Randomness	André Nies	2009	Oxford University Press
Automata and Computability	Dexter C. Kozen	1997	Springer New York
Boook	Author(s)	Year	Publisher

Showing 1 to 20 of 100 entries

entries per page

Filter:

Showing 1 to 20 of 100 entries

Chapter	Author(s)	Book	Book Authors	Year	Publisher
Intuitionistic Logic and Computability Theory	Sebastiaan A. Terwijn	Logic, Language, Information and Computation: 17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010, Proceedings	Anuj Dawar; Ruy Queiroz	2010	Springer Berlin Heidelberg
Logic, Computability and Formal Systems	Mark Priestley	A Science of Operations: Machines, Logic and the Invention of Programming	Mark Priestley	2011	Springer London
Computability is Logic-Relative	Dominic Hyde; Graham Priest	Sociative Logics and Their Applications: Essays by the Late Richard Sylvan: Essays by the Late Richard Sylvan	Dominic Hyde; Graham Priest	2000	Routledge
Part 5: Logic and Computability Theory		Handbook of Computability Theory	Edward R. Griffor (ed.)	1999	Elsevier
Theoretical Computer Science: Computability, Decidability and Logic	Olivier Bournez; Gilles Dowek; Rémi Gilleron; Serge Grigorieff; Jean-Yves Marion; Simon Perdrix et al.	A Guided Tour of Artificial Intelligence Research: Volume III: Interfaces and Applications of Artificial Intelligence	Pierre Marquis; Odile Papini; Henri Prade	1st ed. 2020	Springer International Publishing
342 Computability results in mathematics and logic		The theory of computer science: A programming approach	J. M Brady	1977	Wiley : distributed in the U.S.A. by Halsted Press
TURING COMPUTABILITY AND LEIBNIZ COMPUTABILITY	Maurizio Matteuzzi	The Search for a Theory of Cognition: Early Mechanisms and New Ideas	Stefano Franchi; Francesco Bianchini (Volume Editors)	2011-01-01	Brill
Computability	Tamás Gergely; László Úry	First-Order Programming Theories	Tamas Gergely; Laszlo Ury	1991	Springer Berlin Heidelberg
Computability	Tao Jiang, Ming Li, Bala Ravikumar, and Kenneth W. Regan . . . . . . . . . . . 21-1	Algorithms and Theory of Computation Handbook, Volume 1: General Concepts and Techniques	Mikhail J. Atallah; Marina Blanton	2009	Routledge
Computability	Joseph R. Shoenfield	Recursion Theory: Lecture Notes in Logic 1	Joseph R. Shoenfield	1993	Routledge
Computability	Elliott Mendelson	Introduction to Mathematical Logic	Elliott Mendelson	2015	Routledge
COMPUTABILITY		Computability, Complexity, and Languages	Martin D. Davis; Elaine J. Weyuker and Werner Rheinboldt	1983	Academic Press
Computability		Computability, Complexity, and Languages (Second Edition)	Davis; Martin	1994	Morgan Kaufmann
Computability		Reverse Mathematics: Proofs from the Inside Out	John Stillwell	2019	Princeton University Press
Computability		Physical Computation: A Mechanistic Account	Gualtiero Piccinini	2015	Oxford University Press
Computability		B C, Before Computers: On Information Technology from Writing to the Age of Digital Data	Stephen Robertson	2020	Open Book Publishers
Computability		Foundations of Computing An Accessible Introduction to Automata and Formal Languages	Charles D. Allison	2021	Leanpub book
computability		A Dictionary of Computer Science (Oxford Quick Reference)	Andrew Butterfield (editor), Gerard Ekembe Ngondi (editor), Anne Kerr (editor)	2016	Oxford University Press
Computability		Introduction to Computing. Explorations in Language, Logic, and Machines	David Evans	2011
Computability	Raymond Turner	Computational Artifacts: Towards a Philosophy of Computer Science	Raymond Turner	1st ed. 2018	Springer Berlin Heidelberg
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 1 to 20 of 100 entries