Sets and proofs : invited papers from Logic Colloquium '97 - European Meeting of the Association for Symbolic Logic, Leeds, July 1997 / ed. by S. Barry Cooper; John K. Truss

Cooper, S. Barry ; Truss, John K. ; Cooper, Stuart B. *1943-2015* [Hrsg.]

Logic Colloquium ; (Leeds, England) : 1997.07.06-13

Englisch

Cambridge [u.a.] : Cambridge Univ. Press, 1999

IX, 436 S : graph. Darst

Konferenzschrift; Konferenzschrift (1997, Leeds)

Literaturangaben

Online-Ausg.: Cooper, S.: Sets and proofs. - Cambridge : Cambridge University Press, 1999. - 1 Online-Ressource (ix, 436 pages)

0-521-63549-7 pbk.

*Mathematische Logik / Beweistheorie / Mengenlehre / Kongress

*Mathematische Logik

*Set theory -- Congresses ; Proof theory -- Congresses

*Set theory / Congresses ; Proof theory / Congresses

Klassifikation der Library of Congress: QA248

Dewey Dezimal-Klassifikation: 511.322 ; 511.3/22

Regensburger Verbund-Klassifikation: SK 130: Logik und Grundlagen, Metamathematik,

Regensburger Verbund-Klassifikation: SI 320: SA-SP Mathematik / SI Schriftenreihen / London Mathematical Society: Lecture notes series

Mathematics Subject Classification: *00B25

Mathematics Subject Classification: 03-06

https://zbmath.org/?q=an:0919.00040 [Zentralblatt MATH]

Potsdamer Straße