A logical introduction to proof

QR Code

A logical introduction to proof

Bibliografiske detaljer
Hovedforfatter:	Cunningham, Daniel W. (Author)
Format:	Bog
Sprog:	English
Udgivet:	New York Springer 2013.
Fag:	Logic, Symbolic and mathematical.

TUKLAS: UP Libraries' Resource Discovery Tool
Copyright © 2020-2021. The University Library, University of the Philippines Diliman