/M_Mathematics/MA_Algebra/MAml_Mathematical logic/Boerger E. Computability, complexity, logic (NH, 1986)(ISBN 0444874062)(T)(612s)_MAml_.djvu

/M_Mathematics/MA_Algebra/MAml_Mathematical logic/Boolos G., Burgess J.P., Jeffrey R.C. Computability and Logic (5ed., CUP, 2007)(ISBN 0521877520)(366s)_MAml_.pdf

Showing first 2 matched files of 2283 total files

/Avigad J. - Computability and Incompleteness(2007)(124).pdf

Showing first 1 matched files of 679 total files

/146 - Computability/Computability - DS Bridges.pdf

/146 - Computability/Computability - DS Bridges.jpg

/146 - Computability/Computability - DS Bridges.opf

Showing first 3 matched files of 801 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 1061 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 1062 total files

/0857291203 {72F2A3F1} Proofs and Algorithms_ An Introduction to Logic and Computability [Dowek 2011-01-13].pdf

Showing first 1 matched files of 461 total files

/Computer Science/Discrete Mathematics/Boolos - Computability and Logic 5e (Cambridge, 2007).pdf

Showing first 1 matched files of 3236 total files

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

Showing first 1 matched files of 201 total files

/0198529805.Oxford.University.Press.USA.A.First.Course.in.Logic.An.Introduction.to.Model.Theory.Proof.Theory.Computability.and.Complexity.Sep.2004.pdf

Showing first 1 matched files of 714 total files

/Computability-Bridges.pdf

Showing first 1 matched files of 205 total files

/Automata & Computability, Kozen.djvu

Showing first 1 matched files of 461 total files

/Computer Science/Discrete Mathematics/Boolos - Computability and Logic 5e (Cambridge, 2007).pdf

Showing first 1 matched files of 3236 total files

/Automata and Computability.pdf

Showing first 1 matched files of 730 total files

/Computer Science/Automata and Computability - Dexter C. Kozen, 1997 - 978-1-4612-1844-9.pdf

Showing first 1 matched files of 736 total files

/Automata_and_Computability.pdf

Showing first 1 matched files of 373 total files

/1997_Book_AutomataAndComputability.pdf

Showing first 1 matched files of 406 total files

/Books/Computability A Mathematical Sketchbook Douglass Bridges 1994.pdf

/Covers/Computability A Mathematical Sketchbook Douglass Bridges 1994.jpg

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

/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

/Computability and Complexity - From a Programming Perspective - N. Jones (MIT, 1997) WW.pdf

/Computability and Logic 4th ed - G. Boolos, J. Burgess, R. Jeffrey (Cambridge, 2002) WW.pdf

Showing first 2 matched files of 2473 total files