Handbook of logic and proof techniques for computer science

Bibliographische Detailangaben
1. Verfasser:	Krantz, Steven G. (Steven George) 1951- (VerfasserIn)
Format:	Buch
Sprache:	English
Veröffentlicht:	Boston Birkhauser [2002]
Schlagworte:	Computers. Electronic data processing.