Basic Proof Theory 2ed (Cambridge Tracts in Theoretical Computer Science)

by Troelstra/Schwichtenberg

Paperback

details (UK).

ISBN: 978-0-521-77911-1

ISBN-10: 0-521-77911-1

Cambridge University Press · 2008