Logic for applications /

Gorde:
Xehetasun bibliografikoak
Egile nagusia: Nerode, Anil
Beste egile batzuk: Shore, Richard A.
Formatua: Liburua
Hizkuntza:ingelesa
Argitaratua: New york : Springer-Verlag, 1997.
Edizioa:2nd ed.
Saila:Graduate texts in computer science
Gaiak:
Etiketak: Etiketa erantsi
Etiketarik gabe, Izan zaitez lehena erregistro honi etiketa jartzen!