×

Found 7 Documents (Results 1–7)

Boris Abramovich Trakhtenbrot (on the centenary of his birth). (English. Russian original) Zbl 1485.01044

Russ. Math. Surv. 77, No. 1, 183-188 (2022); translation from Usp. Mat. Nauk 77, No. 1, 191-195 (2022).
MSC:  01A70
PDFBibTeX XMLCite
Full Text: DOI

Platonism, constructivism, and computer proofs vs. proofs by hand. (English) Zbl 1012.03011

Păun, Gheorghe (ed.) et al., Current trends in theoretical computer science. Entering the 21st century. Based on columns and tutorials published in the Bulletin of the European Association for Theoretical Computer Science (EATCS), 1992-2000. Singapore: World Scientific. 281-302 (2001).
PDFBibTeX XMLCite

Filter Results by …

Document Type

Year of Publication

all top 3

Main Field