Roberto Arpaia - - History and Philosophy of Logic 27 1 Elementary Topics in Mathematical Logic. Alonzo Church - - Brooklyn, N. Volker Peckhaus - - Bulletin of Symbolic Logic 5 4 Comer - - Journal of Symbolic Logic 63 4 Introduction to Model Theory and to the Metamathematics of Algebra. Abraham Robinson - - North-Holland. Wilkie - Logic of Algebra.
Algebra and Logic
Paul Dienes - - Hermann Et Cie. Logic, Algebra, and Databases. Peter M.
Gray - Logic and Algebra of Specification. George Boole - - Dover Constable. John N.
- Algorithms for Diophantine Equations.
- The Complete Idiots Guide to Philosophy;
- How Social Movements Matter.
Crossley ed. A Course in Mathematical Logic. Bell - - Sole Distributors for the U. And Canada American Elsevier Pub.
Paul R. Halmos & Steven R. Givant, Logic as Algebra - PhilPapers
Algebraic Methods of Mathematical Logic. Review: Stanislaw Kaczorowski, Mathematical Logic. Part I. The Algebra of Logic. An Outline of History.
Logic as Algebra
Twelve Papers in Logic and Algebra. Lavrik ed. Haskell B. Curry - - Gauthier-Villars.
Downloads Sorry, there are not enough data points to plot this chart. Sign in to use this feature.
Forgot password? Don't have an account? The difference between the transcendent Coleridgean symbol and the unreliable conventional symbol was of explicit concern in Victorian mathematics, where the former was aligned with Euclidean geometry and the latter with algebra.
Rather than trying to bridge this divide, practitioners of modern algebra and the pioneers of symbolic logic made it the founding principle of their work. Oxford Scholarship Online requires a subscription or purchase to access the full text of books within the service. Public users can however freely search the site and view the abstracts and keywords for each book and chapter.
Please, subscribe or login to access full text content.
To troubleshoot, please check our FAQs , and if you can't find the answer there, please contact us. All Rights Reserved. OSO version 0. University Press Scholarship Online. Sign in.