1973
Existential instantiation in a system of natural deduction for intuitionistic arithmetics
Publication
Publication
Additional Metadata | |
---|---|
Stichting Mathematisch Centrum | |
Stichting Mathematisch Centrum. Zuivere Wiskunde | |
SMC Afdeling Zuivere Wiskunde, S. (1973). Existential instantiation in a system of natural deduction for intuitionistic arithmetics. Stichting Mathematisch Centrum. Zuivere Wiskunde. Stichting Mathematisch Centrum. |