Mathematical logic and computability

Mathematical logic and computability

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