Proof, Logic and Formalization

Detlefsen

by Michael Detlefsen

Paperback

ISBN: 978-1-138-00907-3

ISBN-10: 1-138-00907-5

Routledge · 2015