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

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

Showing first 1 matched files of 1443 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 1066 total files

Cs_Computer science/CsNp_Computability/Ajzerman M.A., Gusev L.A., Rozonoer L.I., Smirnova I.M., Tal# A.A. Logika, avtomaty, algoritmy (N.djv

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

Cs_Computer science/CsNp_Computability/Arbib M.A. (red.) Algebraicheskaja teorija avtomatov, jazykov i polugrupp (Statistika, 1975)(ru)(.djv

Cs_Computer science/CsNp_Computability/Barendregt H. Lambda-ischislenie (Mir, 1985) (ru)(L)(T)(304s).djvu

Cs_Computer science/CsNp_Computability/Boerger E., Staerk R. Abstract state machines.. A method for high-level system design and analysi.pdf

Showing first 5 matched files of 859 total files

Computability and Complexity in Analysis, 4 conf., CCA 2000(LNCS2064, Springer, 2001)(ISBN 3540421971)(402s).pdf

Showing first 1 matched files of 2062 total files

Minsky - Computability.Effective Procedures.And Algorithms Infinite Machines.pdf

Showing first 1 matched files of 1343 total files

Computer Science Books For Graduate Students/6sem/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 1320 total files

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

Showing first 1 matched files of 341 total files

Griffor E.R. - Handbook of Computability Theory(1999)(727).pdf

Hein J. L. - Prolog Experiments in Discrete Mathematics, Logic, and Computability(2005)(160).pdf

Showing first 2 matched files of 509 total files

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

Showing first 1 matched files of 301 total files

First Course in Logic_ An Introduction to Model Thry, Proof Theory, Computability, and Complexity, A/First Course in Logic_ An Introduction to Model Thry, Proof Theory, Computability, and Complexity, A.pdf

First Course in Logic_ An Introduction to Model Thry, Proof Theory, Computability, and Complexity, A/First Course in Logic_ An Introduction to Model Thry, Proof Theory, Computability, and Complexity, A.jpg

Showing first 2 matched files of 137 total files

L�gica\Problem Course In Mathematical Logic - Computability And Incompleteness.pdf

Showing first 1 matched files of 1252 total files

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

Showing first 1 matched files of 1426 total files

First Course in Logic_ An Introduction to Model Thry, Proof Theory, Computability, and Complexity, A/First Course in Logic_ An Introduction to Model Thry, Proof Theory, Computability, and Complexity, A.pdf

First Course in Logic_ An Introduction to Model Thry, Proof Theory, Computability, and Complexity, A/First Course in Logic_ An Introduction to Model Thry, Proof Theory, Computability, and Complexity, A.jpg

Showing first 2 matched files of 130 total files

First Course In Logic [An Introduction To Model Theory, Proof Theory, Computability, And Complexity].pdf

Showing first 1 matched files of 1500 total files

Hedman Sh. - A First Course in Logic. An Introduction to Model Theory, Proof Theory, Computability, and Complexity(2004)(400).pdf

Jones N. - Computability and Complexity. From a Programming Perspective(1997)(First Edition)(466).pdf

Showing first 2 matched files of 448 total files

Jeffrey R. C., Burgess J. - Computability and Logic(2002)(4th Edition)(368).pdf

Showing first 1 matched files of 481 total files

6sem/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 1139 total files

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

Showing first 1 matched files of 301 total files