Sets and proofs : invited papers from Logic Colloquium '97 - European Meeting of the Association for Symbolic Logic, Leeds, July 1997

Sets and proofs invited papers from Logic Colloquium '97 - European Meeting of the Association for Symbolic Logic, Leeds, July 1997

Gespeichert in:
Bibliographische Detailangaben
Körperschaften: Association for Symbolic Logic (BerichterstatterIn), Logic Colloquium (BerichterstatterIn)
Weitere Verfasser: Cooper, S. Barry (BerichterstatterIn), Truss, John K. (BerichterstatterIn), Cooper, Stuart B. (HerausgeberIn)
Format: UnknownFormat
Sprache:eng
Veröffentlicht: Cambridge u.a. Cambridge Univ. Press 1999
Schriftenreihe:London Mathematical Society lecture note series 258
Schlagworte:
Set theory > Congresses > Proof theory > Konferenzschrift > Mathematische Logik > Beweistheorie > Mengenlehre
Online Zugang:Inhaltstext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!

Keine Ergebnisse!