Ramsey Theorem for Pairs As a Classical Principle in Intuitionistic Arithmetic
Contributo in Atti di convegno
Data di Pubblicazione:
2014
Tipologia CRIS:
04A-Conference paper in volume
Elenco autori:
S. Berardi; S. Steila
Link alla scheda completa:
Titolo del libro:
19th International Conference on Types for Proofs and Programs (TYPES 2013)
Pubblicato in: