Logic for mathematics and computer science

Bibliografische gegevens
Hoofdauteur:	Burris, Stanley
Formaat:	Boek
Taal:	English
Gepubliceerd in:	Upper Saddle River, N.J. Prentice Hall c1998.
Onderwerpen:	Logic, Symbolic and mathematical.