Handbook of logic and proof techniques for computer science

Detalles Bibliográficos
Autor Principal:	Krantz, Steven G. (Steven George) 1951- (Author)
Formato:	Libro
Idioma:	English
Publicado:	Boston Birkhauser [2002]
Subjects:	Computers. Electronic data processing.