Search results

Showing 1-10 of 11 results

Select/deselect all
  • Export citations

Forcing in proof theory

Avigad, Jeremy
Bulletin of Symbolic Logic Volume 10, Number 3 (September 2004), 305-333.

Journal article
Select/deselect all