Logic for mathematics and computer science

Bibliographische Detailangaben
1. Verfasser:	Burris, Stanley
Format:	Buch
Sprache:	English
Veröffentlicht:	Upper Saddle River, N.J. Prentice Hall c1998.
Schlagworte:	Logic, Symbolic and mathematical.