2 books • 1 series
Logical Foundations of Computer Science (Lecture Notes in Computer Science, #813)
Hilbert's Tenth Problem