/First Course in Logic - An introduction to model theory, proof theory, computability and complexity.djvu

/A First Course in Logic - An Introduction to Model Theory, Proof Theory, Computability, and Complexity (Oxford Texts in Logic).pdf

/Godel on computability.pdf

Showing first 3 matched files of 2061 total files

/Subject Wise/Computer Science/Computability and Complexity - From a Programming Perspective.pdf.gz

Showing first 1 matched files of 3518 total files

/Computability In Analysis And Physics - M B Pour-El, J I Richards (Springer 1989)(T).pdf

Showing first 1 matched files of 556 total files

/Philosophy library + Heidegger library/Philosophy Books/A First Course in Logic - An Introduction to Model Theory, Proof Theory, Computability, and Complexity (Oxford Texts in Logic).pdf

Showing first 1 matched files of 5269 total files

/[AP] Enderton - Computability Theory.pdf

/[Elsevier SLFM] 140 Griffor - Handbook of Computability Theory.pdf

/[MGH] Davis - Computability and Unsolvability.pdf

/[Springer GTM] 146 Bridges - Computability.pdf

/[Springer UTCS] Dowek - Proofs and Algorithms An Introduction to Logic and Computability.pdf

Showing first 5 matched files of 3161 total files

/Automata and Computability - Dexter C Kozen.pdf

Showing first 1 matched files of 400 total files

/Automata and Computability[Dexter C. Kozen][1997][978-0-387-94907-9][EN][Springer New York].pdf

Showing first 1 matched files of 398 total files

/Theory/Introductory CS Theory/Automata & Computability by Kozen.pdf

Showing first 1 matched files of 280 total files

/Computer Science/8 - Automata, Computability Theory, and Complexity Theory/Dexter C. Kozen-Theory of Computation-Springer (2006).pdf

/Computer Science/8 - Automata, Computability Theory, and Complexity Theory/Sanjeev Arora, Boaz Barak-Computational complexity_ a modern approach-Cambridge University Press (2009).pdf

/Computer Science/8 - Automata, Computability Theory, and Complexity Theory/Dexter C. Kozen-Automata and Computability-Springer (1997).djvu

/Computer Science/8 - Automata, Computability Theory, and Complexity Theory/Michael R. Garey, David S. Johnson-Computers and Intractability_ A Guide to the Theory of NP-Completeness .djvu

/Computer Science/8 - Automata, Computability Theory, and Complexity Theory/Michael Sipser-Introduction to the Theory of Computation-Course Technology (2012).pdf

Showing first 5 matched files of 902 total files

/Philosophy Books/A First Course in Logic - An Introduction to Model Theory, Proof Theory, Computability, and Complexity (Oxford Texts in Logic).pdf

Showing first 1 matched files of 2679 total files

/Douglas S. Bridges - Computability (1994) [978-1-4612-0863-1].pdf

Showing first 1 matched files of 286 total files

/Dexter C. Kozen - Automata and Computability.pdf

Showing first 1 matched files of 1220 total files

/Algorithms/Hein J.L. Prolog experiments in discrete mathematics, logic, and computability (Portland State U., 2005)(160s)_CsAl_.pdf

/Algorithms/Kozen D.C. Automata and Computability (Springer, 1997)(ISBN 0387949070)(600dpi)(T)(414s)_CsAl_.djvu

/Computer science/Computability/Arora S., Barak B. Computational complexity.. A modern approach (CUP, 2009)(ISBN 0521424267)(605s)_CsNp_.pdf

/Computer science/Computability/Arora S., Barak B. Computational complexity.. A modern approach (web draft, 2007)(489s)_CsNp_.pdf

/Computer science/Computability/Avigad J. Computability and incompleteness. Lecture notes (free web version, 2007)(128s)_CsNp_.pdf

Showing first 5 matched files of 1323 total files

/136-Computability an Introduction to Recursive Function Theory-Cutland.djvu

Showing first 1 matched files of 36 total files

/Computability and Randomness by Andre Nies, Oxford Science(2009).pdf

Showing first 1 matched files of 2 total files

/Hromkovic. Theoretical Computer Science. Introduction to Automata, Computability, Complexity...., 2004, Springer.pdf

/Kleene. Turing's Analysis of Computability and Major Applications of it (Oxford 1998).pdf

/Models of Computation. An Introduction to Computability Theory.pdf

Showing first 3 matched files of 78 total files

/Praktische Informatik/Jones - Computability and Complexity (1997).pdf

Showing first 1 matched files of 263 total files

/Logic/First Course in Logic - An introduction to model theory, proof theory, computability and complexity.djvu

/Mathematics/Godel on computability.pdf

Showing first 2 matched files of 88 total files