Switch to: References

Citations of:

Absoluteness of Intuitionistic Logic

Mathematisch Centrum (1979)

Add citations

You must login to add citations.
  1. On the Completenes Principle: A Study of Provability in Heyting's Arithmetic and Extensions.Albert Visser - 1982 - Annals of Mathematical Logic 22 (3):263-295.