Bulletin of Symbolic Logic 20 (3):357-359 (2014)
| Abstract | This article has no associated abstract. (fix it) |
| Keywords | No keywords specified (fix it) |
| Categories | (categorize this paper) |
| DOI | 10.1017/bsl.2014.25 |
| 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
Reviewed Work: Recent Developments in Model Theory, Notre Dame Journal of Formal Logic, Vol. 54, Nos. 3-4.Review by: Dugald Macpherson - 2014 - Bulletin of Symbolic Logic 20 (3):357-359,.
Hyperbolic Towers and Independent Generic Sets in the Theory of Free Groups, to Appear in the Proceedings of the Conference" Recent Developments in Model Theory.Lars Louder, Chloé Perin & Rizos Sklinos - forthcoming - Notre Dame Journal of Formal Logic.
Curry Haskell B.. A Theory of Formal Deducibility. Second Edition of XVI 56. Notre Dame Mathematical Lectures, No. 6. Lithoprinted. University of Notre Dame, Notre Dame, Indiana, 1957, Xi + 129 Pp. [REVIEW]Ann S. Ferebee - 1969 - Journal of Symbolic Logic 34 (1):113-113.
Curry Haskell B.. A Theory of Formal Deducibility. Notre Dame Mathematical Lectures, No. 6. Lithoprinted. University of Notre Dame, Notre Dame, Indiana, 1950, Ix + 126 Seiten. [REVIEW]Wilhelm Ackermann - 1951 - Journal of Symbolic Logic 16 (1):56-58.
Cresswell M. J.. A Henkin Completeness Theorem for T. Notre Dame Journal of Formal Logic, Vol. 8 No. 3 , Pp. 186–190.Cresswell M. J.. Alternative Completeness Theorems for Modal Systems. Notre Dame Journal of Formal Logic, Vol. 8 No. 4 , Pp. 339–345.Cresswell M. J.. Some Proofs of Relative Completeness in Modal Logic. Notre Dame Journal of Formal Logic, Vol. 9 No. 1 , Pp. 62–66. [REVIEW]David Makinson - 1970 - Journal of Symbolic Logic 35 (4):581-582.
Reconstructing Formal Logic: Further Developments and Considerations.George Goe - 1970 - Notre Dame Journal of Formal Logic 11 (1):37-75.
Ashworth E. J.. Propositional Logic in the Sixteenth and Early Seventeenth Centuries. Notre Dame Journal of Formal Logic, Vol. 9 No. 2 , Pp. 179–192.Ashworth E. J.. Petrus Fonseca and Material Implication. Notre Dame Journal of Formal Logic, Vol. 9 No. 3 , Pp. 227–228. [REVIEW]Martin M. Tweedale - 1971 - Journal of Symbolic Logic 36 (2):323-324.
A Model of a Strong Paraconsistent Set Theory.O. Esser - 2003 - Notre Dame Journal of Formal Logic 44.
Constructive Predicate Logic with Strong Negation and Model Theory.Seiki Akama - 1987 - Notre Dame Journal of Formal Logic 29 (1):18-27.
Model Theory of Alternative Rings.Bruce I. Rose - 1978 - Notre Dame Journal of Formal Logic 19 (2):215-243.
A Set-Theoretic Model for Nonassociative Number Theory.D. Bollman & M. Laplaza - 1973 - Notre Dame Journal of Formal Logic 14 (1):107-110.
Some Applications of Model Theory to the Metatheory of Program Schemata.Richard A. DeMillo - 1977 - Notre Dame Journal of Formal Logic 18 (3):489-495.
An Examination of the Influence of Boole's Algebra on Peirce's Developments in Logic.Emily Michael - 1979 - Notre Dame Journal of Formal Logic 20 (4):801-806.
Finite Axiomatizability and Theories with Trivial Algebraic Closure.Dugald Macpherson - 1991 - Notre Dame Journal of Formal Logic 32 (2):188-192.
Analytics
Added to PP index
2016-06-30
Total views
22 ( #513,232 of 2,507,636 )
Recent downloads (6 months)
1 ( #416,871 of 2,507,636 )
2016-06-30
Total views
22 ( #513,232 of 2,507,636 )
Recent downloads (6 months)
1 ( #416,871 of 2,507,636 )
How can I increase my downloads?
Downloads
