An edition of Proof, logic, and formalization (1992)
By Michael Detlefsen
Publish Date
1992
Publisher
Routledge
Language
eng
Pages
241