Selected Papers in Proof Theory (Studies in Proof Theory, Vol 3)
Publisher: North-Holland
Published: July 1, 1992
Language: eng
Format: Hardcover
Number of pages: 294
ISBN-13: 9780444896193
Subjects: General Theory of Computing; Mathematical foundations; Mathematical And Symbolic Logic; Science/Mathematics