- Generalisation of First-Order Logic to Nonatomic Domains
- P. Roeper
- The Journal of Symbolic Logic, Vol. 50, No. 3 (Sep., 1985), pp. 815-838
- Subjects: Mathematics, Linguistics, Philosophy
- Key terms: positive, sequence, predicate, function, occurrence, quantification, boolean, domain, variable, exist, theorem, argument, nonatomic, image, interpretation, algebra, quantifier, identification, condition, rule, occur, totality
- CiteRank: 0.7827
JSTOR is part of ITHAKA, a not-for-profit organization helping the academic community use digital technologies to
preserve the scholarly record and to advance research and teaching in sustainable ways.
©2000-2010 ITHAKA. All Rights Reserved. JSTOR®, the JSTOR logo, and ITHAKA® are registered trademarks of ITHAKA.