12 results on '"Nadel, Mark E."'
Search Results
2. Elementary lower bounds for the lengths of refutations
3. Scott Heights of Abelian Groups
4. A Transfer Principle for Simple Properties of Theories
5. Rapid quantitative analysis using a single molecule counting approach
6. Proof script pragmatics in IMPS
7. The completeness of Peano multiplication
8. Elementary lower bounds for the lengths of refutations
9. Lower bounds for the lengths of refutations
10. An Arbitrary Equivalence Relation as Elementary Equivalence in an Abstract Logic.
11. Infinitary intuitionistic logic from a classical point of view
12. An Arbitrary Equivalence Relation as Elementary Equivalence in an Abstract Logic
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.