Logic for information technology

Antony Galton
Bok · Språk ikke angitt · 1990

Utgitt	Chichester : Wiley , c1990
Omfang	xiv, 290 s. : fig.
Emner	Logic, Symbolic and mathematical Matematisk logikk Modal logikk Predikatkalkyle Predikatlogikk : (NO-TrBIB)REAL011140
ISBN	0471927775. - 0471929336