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!