Journal of Symbolic Logic 36 (1):146-147 (1971)
| Abstract | This article has no associated abstract. (fix it) |
| Keywords | No keywords specified (fix it) |
| Categories | (categorize this paper) |
| DOI | 10.2307/2271525 |
| Options |
Mark as duplicate
Export citation
Request removal from index
|
Download options
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
Ščedrov Andrej. Forcing and Classifying Topoi. Memoirs of the American Mathematical Society, No. 295. American Mathematical Society, Providence 1984, X + 93 Pp. [REVIEW]Peter T. Johnstone - 1985 - Journal of Symbolic Logic 50 (3):852-853.
Farah Ilijas. Analytic Quotients. Memoirs of the American Mathematical Society Vol. 148 No. 702, American Mathematical Society, Providence, RI, 2000, Xvi+ 177 Pp. [REVIEW]D. H. Fremlin - 2006 - Bulletin of Symbolic Logic 12 (1):126-128.
Lévy Azriel. A Hierarchy of Formulas in Set Theory. Memoirs of the American Mathematical Society, No. 57. American Mathematical Society, Providence 1965, 76 Pp. [REVIEW]Solomon Feferman - 1968 - Journal of Symbolic Logic 33 (3):473-474.
Grantham S. B.. Galvin's “Racing Pawns” Game and a Well-Ordering of Trees. Memoirs of the American Mathematical Society, No. 316. American Mathematical Society, Providence 1985, Iv + 63 Pp. [REVIEW]Jean A. Larson - 1990 - Journal of Symbolic Logic 55 (3):1310-1311.
Andréka H., Givant S., and Németi I.. Decision Problems for Equational Theories of Relation Algebras. Memoirs of the American Mathematical Society, Vol. 126, No. 604. American Mathematical Society, Providence, March 1997, Xiv+ 126 Pp. [REVIEW]Roger D. Maddux - 2003 - Bulletin of Symbolic Logic 9 (1):37-39.
Oglesby Francis C.. An Examination of a Decision Procedure. Memoirs of the American Mathematical Society, No. 44. American Mathematical Society, Providence 1962, 148 Pp.Oglesby F. C.. Report: An Examination of a Decision Procedure. Bulletin of the American Mathematical Society, Vol. 67 , Pp. 300–304. [REVIEW]Abraham Robinson - 1963 - Journal of Symbolic Logic 28 (2):165-166.
Lamber Joachim. The Mathematics of Sentence Structure. American Mathematical Monthly, Vol. 65 No. 3 , Pp. 154–170.Lambek Joachim. Contributions to a Mathematical Analysis of the English Verb-Phrase. Journal of the Canadian Linguistic Association, Vol. 5 , Pp. 83–89.Lambek Joachim. On the Calculus of Syntactic Types. Structure of Language and its Mathematical Aspects, Proceedings of Symposia in Applied Mathematics, Vol. 12, American Mathematical Society, Providence 1961, Pp. 166–178.Court L. M., Lambek J., Hiż H.. Comments. Structure of Language and its Mathematical Aspects, Proceedings of Symposia in Applied Mathematics, Vol. 12, American Mathematical Society, Providence 1961, Pp. 264–265.Cohen Joel M.. The Equivalence of Two Concepts of Categorial Grammar. Information and Control, Vol. 10 , Pp. 475–484. [REVIEW]Eliahu Shamir - 1968 - Journal of Symbolic Logic 33 (4):627-628.
Review: D. A. Clarke, Hierarchies of Predicates of Finite Types. [REVIEW]Peter G. Hinman - 1971 - Journal of Symbolic Logic 36 (1):146-147.
Kleene S. C.. Hierarchies of Number-Theoretic Predicates. Bulletin of the American Mathematical Society, Bd. 61 , S. 193–213. [REVIEW]Werner Markwald - 1956 - Journal of Symbolic Logic 21 (4):411-412.
Judy Green;, Jeanne LaDuke. Pioneering Women in American Mathematics: The Pre‐1940 Ph.D.'S. Xviii + 349 Pp., Illus., Tables, Bibl., Index. Providence, R.I.: American Mathematical Society, 2009; London: London Mathematical Society, 2009. $79. [REVIEW]Amy Shell‐Gellasch - 2009 - Isis 100 (4):925-926.
W. V. Quine. Logic as a Source of Syntactical Insights. Structure of Language and its Mathematical Aspects, Proceedings of Symposia in Applied Mathematics, Vol. 12, American Mathematical Society, Providence 1961, Pp. 1–5. - Irina Lynch, W. V. Quine. Comments. Structure of Language and its Mathematical Aspects, Proceedings of Symposia in Applied Mathematics, Vol. 12, American Mathematical Society, Providence 1961, Pp. 254–255. [REVIEW]Ann M. Singleterry - 1966 - Journal of Symbolic Logic 31 (3):496-497.
Karen Hunger Parshall;, Adrian C. Rice . Mathematics Unbound: The Evolution of an International Mathematical Research Community, 1800–1945. Xxii + 406 Pp., Illus., Figs., Tables, Index. Providence, R.I.: American Mathematical Society; London: London Mathematical Society, 2002. $85. [REVIEW]Eisso J. Atzema - 2005 - Isis 96 (3):451-452.
Wells Rulon. A Measure of Subjective Information. Structure of Language and its Mathematical Aspects, Proceedings of Symposia in Applied Mathematics, Vol. 12, American Mathematical Society, Providence, Rhode Island, 1961, Pp. 237–244.Sable J. D., Wells R.. Comments. Structure of Language and its Mathematical Aspects, Proceedings of Symposia in Applied Mathematics, Vol. 12, American Mathematical Society, Providence, Rhode Island, 1961, Pp. 267–268. [REVIEW]Nuel D. Belnap - 1965 - Journal of Symbolic Logic 30 (2):244-245.
Kolmogorov in Perspective. Translated by Harold McFaden. X + 230 Pp., Frontis., Illus., Fig., Table, Bibl. Providence, R.I.: American Mathematical Society; London: London Mathematical Society, 2000. $49. [REVIEW]J. L. Doob - 2003 - Isis 94 (3):553-554.
Halpern J. D. And Läuchli H.. A Partition Theorem. Transactions of the American Mathematical Society, Vol. 124 , Pp. 360–367.Halpern J. D. And Lévy A.. The Boolean Prime Ideal Theorem Does Not Imply the Axiom of Choice. Axiomatic Set Theory, Proceedings of Symposia in Pure Mathematics, Vol. 13 Part 1, American Mathematical Society, Providence, Rhode Island, 1971, Pp. 83–134. [REVIEW]David Pincus - 1974 - Journal of Symbolic Logic 39 (1):181-182.
Analytics
Added to PP index
2016-06-30
Total views
6 ( #1,137,660 of 2,520,355 )
Recent downloads (6 months)
1 ( #406,012 of 2,520,355 )
2016-06-30
Total views
6 ( #1,137,660 of 2,520,355 )
Recent downloads (6 months)
1 ( #406,012 of 2,520,355 )
How can I increase my downloads?
Downloads
