Proof, logic and formalization

Proof, logic and formalization

Literaturangaben

Gespeichert in:
Bibliographische Detailangaben
Weitere Verfasser: Detlefsen, Michael (HerausgeberIn)
Format: UnknownFormat
Sprache:eng
Veröffentlicht: London u.a. Routledge 1992
Schlagworte:
Mathematical logic > Proof theory > Logic, Symbolic and mathematical > Mathematische Logik > Aufsatzsammlung > Logik > Mathematik > Beweis > Philosophie > Beweistheorie
Online Zugang:Publisher description
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:Literaturangaben
Beschreibung:Includes bibliographical references and index
Beschreibung:X, 241 S.
graph. Darst
ISBN:0415023351
0-415-02335-1