A friendly introduction to mathematical logic

Dettagli Bibliografici
Autore principale:	Leary, Christopher C.
Natura:	Libro
Lingua:	English
Pubblicazione:	Upper Saddle River, N.J. Prentice Hall c2000.
Soggetti:	Logic, symbolic and mathematical. Computer logic.