Proof, logic and formalization

Gespeichert in:

Bibliographische Detailangaben
Weitere Verfasser:	Detlefsen, Michael (BerichterstatterIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	London u.a. Routledge 1992
Ausgabe:	1. publ.
Schlagworte:	Bewijstheorie > Formele logica > Logique symbolique et mathématique > Mathématiques - Philosophie > Preuve, Théorie de la > Preuve, théorie de la > Logic, Symbolic and mathematical > Proof theory > Mathematik > Beweistheorie > Beweis > Logik > Aufsatzsammlung
Online Zugang:	Inhaltsverzeichnis
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!