Cut Elimination in Categories (Trends in Logic)
by
K. Dosen
Hardcover
details (
United States
).
ISBN: 978-0-7923-5720-9
ISBN-10: 0-7923-5720-5
Springer
· 1999
