Methods of cut-elimination
Saved in:
Main Author: | Baaz, Matthias |
---|---|
Other Authors: | Leitsch, Alexander 1952- |
Format: | Unknown |
Published: |
Dordrecht
Springer
2011
|
Series: | Trends in logic
v. 34 |
Subjects: | |
Online Access: | Click Here to View Status and Holdings. |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
-
Introduction to proofs in mathematics
by: Franklin, James 1953-
Published: (1988) -
An accompaniment to higher mathematics
by: Exner, George R
Published: (1996) -
The power of interaction
by: Lund, Carsten 1963-
Published: (1992) -
The structure of proof with logic and set theory
by: O'Leary, Michael L.
Published: (2002) -
Proff theory
by: Takeuti, G
Published: (1975)