Beweistheorie
Beweistheorie
K. Schütte
Details
OL Work ID
OL28197973W
Subjects
Metamathematics
Proof theory
Logique
Mathématiques
Lógica matemática
Teoria da demonstração
Find this book
Open Library