Logic and its applications

Burke and Foxley
Bok · Engelsk · 1996 Edmund Burke

Utgitt	London : Prentice Hall , c1996
Omfang	xviii, 310 s.
Emner	Logic programming Logic, Symbolic and mathematical Konstruksjoner Logikkprogrammering Vis mer... Mengder Notasjon Polsk notasjon Predikatlogikk Relasjoner Spesifikasjon Systemarbeid Utsagnslogikk Z-transformasjoner
ISBN	0130302635