0
Your cart

Your cart is empty

Browse All Departments
  • All Departments
Price
  • R2,500 - R5,000 (2)
  • -
Status
Brand

Showing 1 - 2 of 2 matches in All Departments

Universal Algebraic Logic - Dedicated to the Unity of Science (Hardcover, 1st ed. 2022): Hajnal Andreka, Zalan Gyenis, Istvan... Universal Algebraic Logic - Dedicated to the Unity of Science (Hardcover, 1st ed. 2022)
Hajnal Andreka, Zalan Gyenis, Istvan Nemeti, Ildiko Sain
R3,553 Discovery Miles 35 530 Ships in 10 - 15 working days

This book gives a comprehensive introduction to Universal Algebraic Logic. The three main themes are (i) universal logic and the question of what logic is, (ii) duality theories between the world of logics and the world of algebra, and (iii) Tarskian algebraic logic proper including algebras of relations of various ranks, cylindric algebras, relation algebras, polyadic algebras and other kinds of algebras of logic. One of the strengths of our approach is that it is directly applicable to a wide range of logics including not only propositional logics but also e.g. classical first order logic and other quantifier logics. Following the Tarskian tradition, besides the connections between logic and algebra, related logical connections with geometry and eventually spacetime geometry leading up to relativity are also part of the perspective of the book. Besides Tarskian algebraizations of logics, category theoretical perspectives are also touched upon. This book, apart from being a monograph containing state of the art results in algebraic logic, can be used as the basis for a number of different courses intended for both novices and more experienced students of logic, mathematics, or philosophy. For instance, the first two chapters can be used in their own right as a crash course in Universal Algebra.

The Life and Work of Leon Henkin - Essays on His Contributions (Paperback, 2014 ed.): Maria Manzano, Ildiko Sain, Enrique Alonso The Life and Work of Leon Henkin - Essays on His Contributions (Paperback, 2014 ed.)
Maria Manzano, Ildiko Sain, Enrique Alonso
R2,616 Discovery Miles 26 160 Ships in 10 - 15 working days

This is a comprehensive book on the life and works of Leon Henkin (1921-2006), an extraordinary scientist and excellent teacher whose writings became influential right from the beginning of his career with his doctoral thesis on "The completeness of formal systems" under the direction of Alonzo Church. Upon the invitation of Alfred Tarski, Henkin joined the Group in Logic and the Methodology of Science in the Department of Mathematics at the University of California Berkeley in 1953. He stayed with the group until his retirement in 1991. This edited volume includes both foundational material and a logic perspective. Algebraic logic, model theory, type theory, completeness theorems, philosophical and foundational studies are among the topics covered, as well as mathematical education. The work discusses Henkin's intellectual development, his relation to his predecessors and contemporaries and his impact on the recent development of mathematical logic. It offers a valuable reference work for researchers and students in the fields of philosophy, mathematics and computer science.

Free Delivery
Pinterest Twitter Facebook Google+
You may like...
Gym Towel & Bag
R78 Discovery Miles 780
JBL Quantum 100 Wired Over-Ear Gaming…
R899 R739 Discovery Miles 7 390
Air Fryer - Herman's Top 100 Recipes
Herman Lensing Paperback R350 R245 Discovery Miles 2 450
The Queen
Andrew Morton Paperback R375 R300 Discovery Miles 3 000
Swiss Indigo Hepa Vacuum Filter
R169 Discovery Miles 1 690
Casio LW-200-7AV Watch with 10-Year…
R999 R884 Discovery Miles 8 840
Croxley Create Jumbo Wax Crayons - 14mm…
R31 R24 Discovery Miles 240
Dig & Discover: Ancient Egypt - Excavate…
Hinkler Pty Ltd Kit R263 Discovery Miles 2 630
Wonder Plant Food Stix - Premium Plant…
R49 R41 Discovery Miles 410
Alcolin Mounting Tape 40 Square Pads…
R59 R41 Discovery Miles 410

 

Partners