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

6.045J 18.400J Automata, Computability, and Complexity/syllabus.docx

Showing first 1 matched files of 152 total files

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

Showing first 1 matched files of 2 total files

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

Showing first 1 matched files of 36 total files

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

Showing first 1 matched files of 286 total files

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

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

9780521294652.CambridgeUP.Computability_An_Introduction_to_Recursive_Function_Theory.Cutland,_Nigel.Jun.1980.pdf

Showing first 1 matched files of 723 total files

Automata and Computability - Dexter C Kozen.pdf

Showing first 1 matched files of 403 total files

the-internet-show-1995/The VHS-Era Internet/Computability Steve Allen and Jayne Meadows' Computer Video from 1984.mp4

Showing first 1 matched files of 1049 total files

[Mathematics] [Computability Theory] - Algorithms and Theory of Computation Handbook (Mikhail Atallah, ed) (CRC, 1999).pdf

[Mathematics] [Computability Theory] - Kripke, Saul - Elementary Recursion Theory and its Applications to Formal Systems (Princeton 1996).pdf

Showing first 2 matched files of 596 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

Dexter C. Kozen - Automata and Computability.pdf

Showing first 1 matched files of 1220 total files

Automata and Computability - Dexter C Kozen.pdf

Showing first 1 matched files of 400 total files