Logic for mathematics and computer science

Bibliografiske detaljer
Hovedforfatter:	Burris, Stanley
Format:	Bog
Sprog:	English
Udgivet:	Upper Saddle River, N.J. Prentice Hall c1998.
Fag:	Logic, Symbolic and mathematical.