Volume 39, Issue 2-3, 1980
ISSN:
0039-3215 (Print)
1572-8730 (Online)
In this issue (13 articles)
-
OriginalPaper
A modal sequent calculus for a fragment of arithmetic
G. Sambin, S. Valentini Pages 245-256 -
OriginalPaper
λ-Normal forms in an intensional logic for English
Joyce Friedman, David S. Warren Pages 311-324

Continue reading...
To view the rest of this content please follow the download PDF link above.