1977
A computer program for ptq and its logical reduction rules : (preprint)
Publication
Publication
Additional Metadata | |
---|---|
Stichting Mathematisch Centrum | |
Stichting Mathematisch Centrum. Zuivere Wiskunde | |
Janssen, T. (1977). A computer program for ptq and its logical reduction rules : (preprint). Stichting Mathematisch Centrum. Zuivere Wiskunde. Stichting Mathematisch Centrum. |