×

Found 5 Documents (Results 1–5)

Kripke models of certain subtheories of Heyting arithmetics. (English) Zbl 1077.03020

van Eijck, Jan (ed.) et al., Logic colloquium ’99. Proceedings of the annual European summer meeting of the Association for Symbolic Logic, Utrecht, Netherlands, August 1–6, 1999. Natick, MA: A K Peters; Urbana, IL: Association for Symbolic Logic (ISBN 1-56881-203-5/pbk; 1-56881-199-3/hbk). Lecture Notes in Logic 17, 136-142 (2004).
PDFBibTeX XMLCite

Filter Results by …

Document Type

Year of Publication

Main Field