Structural Proof Theory
by Sara Negri
ISBN 13: 9780521068420
Format: Paperback (276 pages) Publisher: Cambridge University Press Published: 21 Aug 2008
Save for later
Mathesis Universalis, Computability and Proof: 412 (Synthese Library, 412)
by Stefania Centrone,Sara Negri,Deniz Sarikaya,Peter M. Schuster
ISBN 13: 9783030204495
Format: Paperback (384 pages) Publisher: Springer Published: 06 Nov 2020
by Peter M. Schuster, Sara Negri, Stefania Centrone, Deniz Sarikaya
ISBN 13: 9783030204464
Format: Hardcover (384 pages) Publisher: Springer Published: 06 Nov 2019