×

Found 4 Documents (Results 1–4)

Self-referentiality in the Brouwer-Heyting-Kolmogorov semantics of intuitionistic logic. (English) Zbl 1348.03013

Artemov, Sergei (ed.) et al., Logical foundations of computer science. International symposium, LFCS 2013, San Diego, CA, USA, January 6–8, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-35721-3/pbk). Lecture Notes in Computer Science 7734, 401-414 (2013).
MSC:  03B20 03B45 03F45
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

Author

Year of Publication

Main Field