Back to Search
Start Over
Some syntactical properties of intermediate predicate logics
- Source :
- Notre Dame J. Formal Logic 31, no. 4 (1990), 548-559
- Publication Year :
- 1990
- Publisher :
- Duke University Press, 1990.
- Subjects :
- Discrete mathematics
Algebra
Logic
Predicate (mathematical logic)
03B55
Mathematics
Subjects
Details
- Language :
- English
- Database :
- OpenAIRE
- Journal :
- Notre Dame J. Formal Logic 31, no. 4 (1990), 548-559
- Accession number :
- edsair.doi.dedup.....188dc1dbdd3ced70da07ab8701c0cc5f