Boolos, George S.
Computability and Logic
- 3rd ed.
- Cambridge: Cambridge University Press, 1989
- 304 p.; Illus. Index.: 23 cm.
9780521389235 (pbk)
Computer Functions
Computer Logic
Diagonalization
Enumerability
Function Symbols
Compactness theorem
Ramsey's theorem
Dyadic logic
005.115 / BOO