Mathematical logic and computability

Mathematical logic and computability

Show all versions (3)
Manylion Llyfryddiaeth
Prif Awdur: Keisler, H. Jerome
Awduron Eraill: Robbin, Joel W.
Fformat: Llyfr
Cyhoeddwyd: New York McGraw-Hill c1996.
Pynciau:
Computable functions.
Logic, Symbolic and mathematical.
Formal languages.