DaftarIsitemplate |
Call Number |
005.1 Ner d |
Title |
Logic for applications second edition: graduate texts in computer science |
Author |
Nerode, Anil; |
Publisher |
New York: Springer-Verlag, 1997 |
Subject |
Computer science-mathematics; Logic symbolic and mathematics |
Location |
FASILKOM-UI; |