Back to Search Start Over

Some Laws of the Calculus of Quantifiers

Authors :
Alonzo Church
Ivo Thomas
Source :
The Journal of Symbolic Logic. 15:143
Publication Year :
1950
Publisher :
Cambridge University Press (CUP), 1950.

Subjects

Subjects :
Philosophy
Logic
Prenex normal form
Zeroth-order logic
Bounded quantifier
Calculus
Mathematics

Details

ISSN :
00224812
Volume :
15
Database :
OpenAIRE
Journal :
The Journal of Symbolic Logic
Accession number :
edsair.doi...........cc64f176a71577fa57305cfd3853a8e9

Tools

Authors Abstract Subjects Details