Mathematical logic and computability

Mathematical logic and computability

Taispeáin gach leagan (3)
Sonraí bibleagrafaíochta
Príomhchruthaitheoirí: Keisler, H. Jerome (Údar), Robbin, Joel W. (Údar)
Formáid: LEABHAR
Teanga:English
Foilsithe / Cruthaithe: New York McGraw-Hill [1996]
Sraith:International series in pure and applied mathematics.
Ábhair:
Computable functions.
Logic, Symbolic and mathematical.
Formal languages.