Sets and Proofs
Subtitle: Invited Papers from Logic Colloquium '97 - European Meeting of the Association for Symbolic Logic, Leeds, July 1997
Contributors: S. Barry Cooper (Editor); John K. Truss (Editor)
Publisher: Cambridge University Press
Published: March 1, 1999
Language: eng
Format: Paperback
Number of pages: 446
ISBN-13: 9780521635493
Subjects: Mathematical logic; Science/Mathematics; Mathematical And Symbolic Logic; Mathematics; Logic; Set Theory; Mathematics / Combinatorics; Set theory--Congresses; Congresses; Proof theory