Strong Constructivity of Second-Order Intuitionistic Arithmetic

Abstract
Publication Date:
1999
Iris type:
Abstract (in Rivista)
List of contributors:
Authors of the University:
Handle:
https://irinsubria.uninsubria.it/handle/11383/1485806
Published in:
THE BULLETIN OF SYMBOLIC LOGIC
Journal