Mathematical logic and computability

Mathematical logic and computability

Pokaži sve verzije (4)
Bibliografski detalji
Glavni autor: Keisler, H. Jerome
Daljnji autori: Robbin, Joel, Miller, Arnold
Format: Knjiga
Jezik:English
Izdano: New York McGraw-Hill c1996.
Teme:
Logic, Symbolic and mathematical.
Computable functions.