-
1
-
2
-
3
-
4
Truth, syntax and modality proceedings of the Temple University Conference on Alternative Semantics
Pubblicazione 1973Libro -
5
-
6
-
7
-
8
-
9
Model theory for infinitary logic logic with countable conjunctions and finite quantifiers
Pubblicazione 1971Libro -
10
Intuitionism and proof theory proceedings of the summer conference at buffalo N.Y. 1968
Pubblicazione 1970Libro