Switch to: References

Add citations

You must login to add citations.
  1. An Intuitionistic Version of Ramsey's Theorem and its Use in Program Termination.Stefano Berardi & Silvia Steila - 2015 - Annals of Pure and Applied Logic 166 (12):1382-1406.
  • Generality and Existence: Quantificational Logic in Historical Perspective.Jan von Plato - 2014 - Bulletin of Symbolic Logic 20 (4):417-448.