| Computability and Complexity. The MIT Press |
Hubie Chen |
Bjørn Kjos-Hanssen |
The Bulletin of Symbolic Logic |
2026-03-26 |
| Handbook of Computability and Complexity in Analysis |
Vasco Brattka |
Diego A. Rojas |
The Bulletin of Symbolic Logic |
2025-12-00 |
| An Early History of Recursive Functions and Computability from Gödel tu Turing |
Rod Adams |
Ivor Grattan-Guinness |
History and Philosophy of Logic |
2012-05-01 |
| Algorithmic randomness and complexity. Theory and Applications of Computability Rodney G. Downey Denis R. Hirschfeldt |
Rodney G. Downey |
Laurent Bienvenu |
The Bulletin of Symbolic Logic |
2012-03-00 |
| Computability and Randomness |
André Nies |
Anthony Morphett |
The Bulletin of Symbolic Logic |
2010-03-00 |
| A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability, and Complexity |
Shawn Hedman |
Jesus M Larrazabal |
Gogoa: Euskal Herriko Unibertsitateko Hizkuntza, Ezagutza, Komunikazio eta Ekintzari buruzko Aldizkaria |
2008-04-01 |
| A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability, and Complexity |
Shawn Hedman |
Alasdair Urquhart |
The Bulletin of Symbolic Logic |
2007-12-01 |
| Computability and Logic (Fourth Edition) |
George S Boolos |
Richard Zach |
The Bulletin of Symbolic Logic |
2003-12-01 |
| Computability. Computable Functions, Logic, and the Foundations of Mathematics Richard L. Epstein Walter A. Carnielli |
Richard L. Epstein |
Carlos Augusto Di Prisco |
The Bulletin of Symbolic Logic |
2002-03-00 |
| Computability: Computable Functions, Logic, and the Foundations of Mathematics (Second Edition) |
Richard L Epstein |
R Zach |
History and Philosophy of Logic |
2002-01-01 |
| Computability: Computable Functions, Logic, and the Foundations of Mathematics (Second Edition) |
Richard L Epstein |
Simon Thompson |
Manuscrito |
2001-04-01 |
| Computability, complexity, and languages. Fundamentals of theoretical computer science. Second edition of LII 293. Computer science and scientific computing |
Martin D Davis |
H. B. Enderton |
The Journal of Symbolic Logic |
1996 |
| The language of machines. An introduction to computability and formal languages |
Robert W. Floyd and Richard Beigel |
Raymond D. Gumb |
The Journal of Symbolic Logic |
1996 |
| Computability in analysis and physics |
Marian B. Pour-El and J. Ian Richards |
Oliver Aberth |
The Journal of Symbolic Logic |
1991 |
| Computability and Logic |
G S Boolos |
A P Hazen |
Australasian Journal of Philosophy |
1990-09-01 |
| Computability theory, semantics, and logic programming |
Melvin Fitting |
Martin Davis |
Notre Dame Journal of Formal Logic |
1990-06-01 |
| Computability and Logic |
G S Boolos |
John Kelly |
Philosophical Studies |
1988-01-01 |
| Computability theory, semantics, and logic programming |
Melvin Fitting |
J. C. Shepherdson |
The Journal of Symbolic Logic |
1988 |
| Computability theory, semantics, and logic programming |
George J Tourlakis |
Ann Yasuhara |
The Journal of Symbolic Logic |
1988 |
| Logic, Foundations of Mathematics, and Computability Theory |
R. E. Butts |
David Miller |
Synthese |
1980-03-00 |
| Logic, Foundations of Mathematics, and Computability Theory |
R E Butts |
Gabriele Lolli |
Scientia: International Review of Scientific Synthesis |
1978-01-01 |
| Computability and Logic |
G. S. Boolos |
John Bell |
The British Journal for the Philosophy of Science |
1977-03-01 |
| Computability and Logic |
G Boolos |
Stephen Leeds |
The Journal of Symbolic Logic |
1977 |
| Theory of Recursive Functions and Effective Computability |
Hartley Rogers Jr |
C E M Yates |
The Journal of Symbolic Logic |
1971-03-01 |
| Computability by probabilistic machines |
K. de Leeuw, E. F. Moore, C. E. Shannon, and N. Shapiro |
Patrick C. Fischer |
The Journal of Symbolic Logic |
1970 |
