Logic for mathematics and computer science

Bibliografiska uppgifter
Huvudupphovsman:	Burris, Stanley
Materialtyp:	Bok
Språk:	English
Publicerad:	Upper Saddle River, N.J. Prentice Hall c1998.
Ämnen:	Logic, Symbolic and mathematical.