On the strong semantical completeness of the intuitionistic predicate calculus

Journal of Symbolic Logic 33 (1):1-7 (1968)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,593

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Analytics

Added to PP
2009-01-28

Downloads
41 (#339,849)

6 months
5 (#246,492)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Richmond Thomason
University of Michigan, Ann Arbor

References found in this work

Introduction to Metamathematics.H. Rasiowa - 1954 - Journal of Symbolic Logic 19 (3):215-216.
Introduction to Mathematical Logic.Max Black - 1956 - Journal of Symbolic Logic 22 (3):286-289.
Symbolic Logic. An Introduction.Wilhelm Ackermann - 1952 - Journal of Symbolic Logic 17 (4):266-268.
The Mathematics of Metamathematics.Donald Monk - 1963 - Journal of Symbolic Logic 32 (2):274-275.

View all 6 references / Add more references