Logic for mathematics and computer science

Bibliografski detalji
Glavni autor:	Burris, Stanley
Format:	Knjiga
Jezik:	English
Izdano:	Upper Saddle River, N.J. Prentice Hall c1998.
Teme:	Logic, Symbolic and mathematical.