×

Found 17 Documents (Results 1–17)

Standard structures for systems of explicit mathematics (a proof-theoretic study). (Standardstrukturen für Systeme expliziter Mathematik (Eine beweistheoretische Untersuchung).) (German) Zbl 0797.03058

Münster: Univ. Münster, Math.-Naturwiss. Fak. vi, 135 S. (1993).
MSC:  03F50 03F35
PDFBibTeX XMLCite

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Main Field