Handbook of logic and proof techniques for computer science

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