A logical introduction to proof

Bibliografske podrobnosti
Glavni avtor: Cunningham, Daniel W. (Author)
Format: Knjiga
Jezik:angleščina
Izdano: New York Springer 2013.
Teme: