×

Found 15 Documents (Results 1–15)

100
MathJax

Dialogue theory of proofs for arithmetic, analysis, and set theory. (English. Russian original) Zbl 0836.03029

Russ. Acad. Sci., Izv., Math. 44, No. 3, 571-600 (1995); translation from Izv. Ross. Akad. Nauk, Ser. Mat. 58, No. 3, 140-168 (1994).
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

Document Type

Reviewing State

all top 5

Year of Publication

Classification

Software