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!

Keine Ergebnisse!