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

Weitere Versionen anzeigen (2)

Together, Sets and Proofs and its sister volume Models and Computability will provide readers with a comprehensive guide to mathematical logic. All the authors are leaders in their fields and are drawn from the invited speakers at 'Logic Colloquium '97' (the major international meetin...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Körperschaft: Logic Colloquium <1997, Leeds, England> (VerfasserIn)
Weitere Verfasser: Cooper, S. B. (HerausgeberIn), Truss, J. K. (HerausgeberIn)
Format: Elektronisch Tagungsbericht E-Book
Sprache:English
Veröffentlicht: Cambridge Cambridge University Press 1999
Schriftenreihe:London Mathematical Society lecture note series 258
Schlagworte:
Set theory / Congresses
Proof theory / Congresses
Mathematische Logik
Konferenzschrift
Online-Zugang:DE-12
DE-92
URL des Erstveröffentlichers
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!

Wegen Wartungsarbeiten nicht verfügbar

Unser Bibliotheksverwaltungssystem ist momentan wegen Wartungsarbeiten nicht verfügbar.

Bestandes- und Verfügbarkeitsinformationen können momentan leider nicht angezeigt werden. Wir entschuldigen uns für die Umstände und stehen für weitere Fragen gerne zur Verfügung:

it.bib-wue@thws.de

Online

DE-12
DE-92
URL des Erstveröffentlichers

Ähnliche Einträge