A logical introduction to proof

Detalles Bibliográficos
Autor Principal:	Cunningham, Daniel W. (Author)
Formato:	Libro
Idioma:	English
Publicado:	New York Springer 2013.
Subjects:	Logic, Symbolic and mathematical.