Publication
-
January 1973
-
Mostowski's universal set-algebra Tech Report
January 1973 -
Existential instantiation in a system of natural deduction for intuitionistic arithmetics Tech Report
January 1973 -
On the number of unique subgraphs of a graph Tech Report
January 1973 -
January 1973
-
January 1973
-
January 1973
-
January 1973