Handbook of logic and proof techniques for computer science

Bibliografische gegevens
Hoofdauteur:	Krantz, Steven G. (Steven George) 1951- (Auteur)
Formaat:	Boek
Taal:	English
Gepubliceerd in:	Boston Birkhauser [2002]
Onderwerpen:	Computers. Electronic data processing.