Zu "proof theory" wurden 7 Produkte gefunden
Filter
–
Download
PDF
One Hundred Years of Intuitionism (1907-2007)
Mark Atten, Pascal Boldini, Michel Bourdeau, Gerhard Heinzmann
96,29 €*
Download
PDF
David Hilbert's Lectures on the Foundations of Arithmetic and Logic 1917-1933
William Ewald, Wilfried Sieg
71,93 €*
Download
PDF
Applied Proof Theory: Proof Interpretations and their Use in Mathematics
Ulrich Kohlenbach
128,39 €*