Logic for mathematics and computer science

Xehetasun bibliografikoak
Egile nagusia:	Burris, Stanley
Formatua:	Liburua
Hizkuntza:	English
Argitaratua:	Upper Saddle River, N.J. Prentice Hall c1998.
Gaiak:	Logic, Symbolic and mathematical.