Proofs and Computations (2012)

First Author: Schwichtenberg H
Attributed to:  WORKSHOP: LEEDS SYMPOSIUM ON PROOF THEORY & CONSTRUCTIVISM funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Type: Book

ISBN: 978-0-521-51769-0