Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 7 (11-14):171-174 (1961)
| Abstract | This article has no associated abstract. (fix it) |
| Keywords | No keywords specified (fix it) |
| Categories | (categorize this paper) |
| DOI | 10.1002/malq.19610071104 |
| Options |
Mark as duplicate
Export citation
Request removal from index
|
Download options
References found in this work BETA
Introduction to Metamathematics.Ann Singleterry Ferebee - 1968 - Journal of Symbolic Logic 33 (2):290-291.
Citations of this work BETA
No citations found.
Similar books and articles
Non-Effective Quantifier Elimination.Mihai Prunescu - 2001 - Mathematical Logic Quarterly 47 (4):557-562.
The Role of Quantifier Alternations in Cut Elimination.Philipp Gerhardy - 2005 - Notre Dame Journal of Formal Logic 46 (2):165-171.
The Logical Form of Quantifier Phrases: Quantifier-Sortalvariable.John Corcoran - 1999 - Bulletin of Symbolic Logic 5:418-419.
On the Definability of the Quantifier “There Exist Uncountably Many”.Žarko Mijajlović - 1985 - Studia Logica 44 (3):257 - 264.
Decidability with Respect to Härtig Quantifier and Rescher Quantifier.Martin Weese - 1981 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 27 (36):569-576.
Generalized Quantifiers and Measure Theory.Charles William Kurtz - 1996 - Dissertation, Syracuse University
Quantifier-Eliminable Locally Finite Graphs.Shawn Hedman & Wai Yan Pong - 2011 - Mathematical Logic Quarterly 57 (2):180-185.
Are Quantifier Phrases Always Quantificational? The Case of 'Every F'.Pierre Baumann - 2013 - Organon F: Medzinárodný Časopis Pre Analytickú Filozofiu 20 (2):143-172.
Hierarchies of Partially Ordered Connectives and Quantifiers.Michał Krynicki - 1993 - Mathematical Logic Quarterly 39 (1):287-294.
WCO, ACD and What They Reveal About Complex Demonstratives.Daniel Altshuler - 2007 - Natural Language Semantics 15 (3):265-277.
Review: A. H. Lachlan, The $U$-Quantifier. [REVIEW]J. R. Shoenfield - 1962 - Journal of Symbolic Logic 27 (2):244-244.
Quantifier Elimination for the Theory of Algebraically Closed Valued Fields with Analytic Structure.Yalin Firat Çelikler - 2007 - Mathematical Logic Quarterly 53 (3):237-246.
Analytics
Added to PP index
2016-02-04
Total views
21 ( #537,129 of 2,518,496 )
Recent downloads (6 months)
4 ( #167,146 of 2,518,496 )
2016-02-04
Total views
21 ( #537,129 of 2,518,496 )
Recent downloads (6 months)
4 ( #167,146 of 2,518,496 )
How can I increase my downloads?
Downloads
