"Computability: computable functions,logic,and the foundations of mathematics"

entries per page

Filter:

Showing 1 to 20 of 100 entries

Book	Author(s)	Year	Publisher
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: Computable Functions, Logic, and the Foundations of Mathematics, 3rd Edition	Richard L. Epstein, Walter A. Carnielli	2008	Advanced Reasoning Forum, Socorro, New Mexico, USA
Computable functions.	Louis Francis Williams	1970
Foundations of logic and mathematics	Carnap R.	1939	Univ. Chicago
Logic and foundations of mathematics	A. Heyting	1968 1969	Wolters-Noordhoff
Foundations of logic and mathematics	Rudolf Carnap	1963	University of Chicago Press
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
Foundations: Logic, Language, and Mathematics	Hugues Leblanc; Elliott Mendelson; A. Orenstein	1984	Springer Netherlands
Mathematical Logic and The Foundations of Mathematics	Kneebone, G. T.	1963
Martin Davis on Computability, Computational Logic, and Mathematical Foundations	Eugenio G. Omodeo; Alberto Policriti	1st ed. 2016	Springer International Publishing
Introduction to Mathematical Logic: Set Theory Computable Functions Model Theory	Jerome Malitz	1979	Springer New York
Studies in Logic and the Foundations of Mathematics	Piergiorgio Odifreddi	1992	Elsevier
Studies in Logic and the Foundations of Mathematics	Abraham Robinson	1966	Elsevier
Computability, Complexity, Logic	E. Börger	1989	Elsevier
The Foundations of Computability Theory	Borut Robič	1st ed. 2015	Springer Berlin Heidelberg
The Foundations of Computability Theory	Borut Robič	2nd ed. 2020	Springer Berlin Heidelberg
Computable Foundations for Economics	K. Vela Velupillai	2010	Routledge
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
pt. 1. Logic, foundations of mathematics, and computability theory.		Proceedings of the Fifth International Congress of Logic, Methodology, and Philosophy of Science, London, Ontario, Canada, 1975	International Congress of Logic, Methodology, and Philosophy of Science (5th 1975 University of Western Ontario)	1977	D. Reidel
Computability and Computable Models	Sergei S. Goncharov	Mathematical Problems from Applied Logic II: Logics for the XXIst Century	Dov Gabbay; Sergei Goncharov; Michael Zakharyaschev	2007	Springer New York
Foundations of logic and mathematics	Rudolph Carnap	Foundations of the unity of science: toward an international encyclopedia of unified science	Otto Neurath, Rudolf Carnap, Charles W. Morris	©1969-1970	University of Chicago Press
Logic and the Foundations of Mathematics	E. Casari	Modern Logic — A Survey: Historical, Philosophical and Mathematical Aspects of Modern Logic and its Applications	Evandro Agazzi	1981	Springer Netherlands
Logic and the Foundations of Mathematics	Danielle Macbeth	The Oxford Handbook of American Philosophy	Cheryl Misak	2010	Oxford University Press
Logic and the foundations of mathematics	Danielle Macbeth	The Oxford handbook of American philosophy	C. J. Misak	2008	Oxford University Press
Choice Processes, Computability and Complexity: Computable Choice Functions	Hans W. Gottinger	Theory and Decision: Essays in Honor of Werner Leinfellner	Gerald L. Eberlein; Hal Berghel	1988	Springer Netherlands
3 - A Logic of Computable Functions		Logic and Computation: Interactive Proof with Cambridge LCF	Lawrence C. Paulson	1987-10	Cambridge University Press
Minimal Logic for Computable Functions	Helmut Schwichtenberg	Logic and Algebra of Specification	Friedrich L. Bauer; Wilfried Brauer; Helmut Schwichtenberg	1993	Springer Berlin Heidelberg
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
1. Logic and foundations of mathematics		Contemporary philosophy	Raymond Kilbansky, Raymond Kilbansky	1968-1971	La nuova Italia
I: Logic and the Foundations of Mathematics		History and Philosophy of Modern Mathematics: Volume XI	William Aspray and Philip Kitcher, Editors	1988	University of Minnesota Press
Modern logic and the foundations of mathematics		The world philosophy made: from Plato to the digital age /	Soames, Scott,		Princeton University Press
2 Computable Functions and Partially Computable Functions		Computability and Unsolvability	Martin Davis	1985	Dover Publications
HOLCF: Higher order logic of computable functions	Franz Regensburger	Higher Order Logic Theorem Proving and Its Applications: 8th International Workshop, Aspen Grove, UT, USA, September 11 - 14, 1995. Proceedings	E. Thomas Schubert; Phillip J. Windley; James Alves-Foss	1995	Springer Berlin Heidelberg
LCF, A Logic for Computable Functions	Jacques Loeckx; Kurt Sieber	The Foundations of Program Verification	Kurt Sieber	2. Aufl. 1987	Vieweg+Teubner Verlag
no. 3. Foundations of logic and mathematics	Rudolf Carnap	International encyclopedia of unified science	Otto Neurath	©1955-	University of Chicago Press
Studies in Logic and the Foundations of Mathematics		Theory of Relations	Roland Fraïé	2000	Elsevier
Studies in Logic and the Foundations of Mathematics		Rudiments of μ-Calculus	A. Arnold; D. Niwiński	2001	Elsevier
Studies in Logic and The Foundations of Mathematics		Many-Dimensional Modal Logics	D.M. Gabbay; A. Kurucz; F. Wolter; M. Zakharyaschev	2003	Elsevier
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 1 to 20 of 100 entries

"Computability: computable functions,logic,and the foundations of mathematics" - similar Books and Chapters