Logic for applications /

I tiakina i:
Ngā taipitopito rārangi puna kōrero
Kaituhi matua: Nerode, Anil
Ētahi atu kaituhi: Shore, Richard A.
Hōputu: Pukapuka
Reo:Ingarihi
I whakaputaina: New york : Springer-Verlag, 1997.
Putanga:2nd ed.
Rangatū:Graduate texts in computer science
Ngā marau:
Ngā Tūtohu: Tāpirihia he Tūtohu
Kāore He Tūtohu, Me noho koe te mea tuatahi ki te tūtohu i tēnei pūkete!