Recursion Theory/Handbook of Computability Theory.pdf

General Logic/Boolos, Burgess & Jeffrey - Computability and Logic.pdf

Recursion Theory/Enderton - Computability Theory.pdf

Showing first 3 matched files of 55 total files

Computer Science/Computability and Randomness - Nies - Oxford (2009).pdf

Showing first 1 matched files of 291 total files

Discrete Math/Hein J. Discrete structures, logic and computability (1995).djvu

Showing first 1 matched files of 532 total files

Theory Of Computation/A first Course in Logic An Introduction To Model Theory Proof Theory Computability And Complexity - Shawn Hedman.djvu

Showing first 1 matched files of 25 total files

Math & Logic/Philosophia Mathematica Journal/Godel on computability.pdf

Showing first 1 matched files of 487 total files

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

Showing first 1 matched files of 373 total files

/A first Course in Logic An Introduction To Model Theory Proof Theory Computability And Complexity - Shawn Hedman.djvu

Showing first 1 matched files of 30 total files

18.510-Boolos, Burgess, Jeffrey Computability And Logic 2002.pdf

18.511-Computability an Introduction to Recursive Function Theory-Cutland.pdf

18.511-S. Barry Cooper Computability Theory Chapman Hall Crc Mathematics Series 2003.pdf

Showing first 3 matched files of 125 total files

Lógica/Problem Course In Mathematical Logic - Computability And Incompleteness.pdf

Showing first 1 matched files of 1145 total files

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 398 total files

Cs_Computer science/CsNp_Computability/Alferova Z.V. Teoriya algoritmov (Statistika, 1973)(ru)(165s).djvu

Cs_Computer science/CsNp_Computability/Du Ding-Zhu, Ko Ker-I. Problem solving in automata, languages and complexity (Wiley, 2001)(ISBN 0.djv

Cs_Computer science/CsNp_Computability/Schoening U. Algorithmen kurz gefasst (de)(T)(105s).djvu

Cs_Computer science/CsNp_Computability/Schoening U. Theoretische Informatik kurz gefasst (Inf IV)(low res)(de)(T)(86s).djvu

Cs_Computer science/CsNp_Computability/TRANS.TBL

Showing first 5 matched files of 1259 total files

Computer Science/Computability and Randomness - Nies - Oxford (2009).pdf

Showing first 1 matched files of 286 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

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

Showing first 1 matched files of 263 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