Strong Constructivity of Second-Order Intuitionistic Arithmetic

Abstract
Data di Pubblicazione:
1999
Tipologia CRIS:
Abstract (in Rivista)
Elenco autori:
Autori di Ateneo:
Link alla scheda completa:
https://irinsubria.uninsubria.it/handle/11383/1485806
Pubblicato in:
THE BULLETIN OF SYMBOLIC LOGIC
Journal