/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

/Logic - Set Theory - Computability/Andrews - An Introduction to Mathematical Logic and Type Theory (1986).pdf

/Logic - Set Theory - Computability/Barnes and Mack - An Algebraic Introduction to Mathematical Logic (1975).djvu

/Logic - Set Theory - Computability/Barwise - Handbook of Mathematical Logic (1999).djvu

/Logic - Set Theory - Computability/Boolos - Logic of Provability (2003).pdf

/Logic - Set Theory - Computability/Boolos et al. - Computability and Logic (2007).pdf

Showing first 5 matched files of 668 total files