0
Your cart

Your cart is empty

Browse All Departments
  • All Departments
Price
  • R1,000 - R2,500 (1)
  • R2,500 - R5,000 (1)
  • -
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,656 Discovery Miles 36 560 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.

Mathematical Logic - Exercises and Solutions (Hardcover, 1st ed. 2022): Laszlo Csirmaz, Zalan Gyenis Mathematical Logic - Exercises and Solutions (Hardcover, 1st ed. 2022)
Laszlo Csirmaz, Zalan Gyenis
R1,138 Discovery Miles 11 380 Ships in 12 - 19 working days

This book gathers together a colorful set of problems on classical Mathematical Logic, selected from over 30 years of teaching. The initial chapters start with problems from supporting fields, like set theory (ultrafilter constructions), full-information game theory (strategies), automata, and recursion theory (decidability, Kleene's theorems). The work then advances toward propositional logic (compactness and completeness, resolution method), followed by first-order logic, including quantifier elimination and the Ehrenfeucht- Fraisse game; ultraproducts; and examples for axiomatizability and non-axiomatizability. The Arithmetic part covers Robinson's theory, Peano's axiom system, and Goedel's incompleteness theorems. Finally, the book touches universal graphs, tournaments, and the zero-one law in Mathematical Logic. Instructors teaching Mathematical Logic, as well as students who want to understand its concepts and methods, can greatly benefit from this work. The style and topics have been specially chosen so that readers interested in the mathematical content and methodology could follow the problems and prove the main theorems themselves, including Goedel's famous completeness and incompleteness theorems. Examples of applications on axiomatizability and decidability of numerous mathematical theories enrich this volume.

Free Delivery
Pinterest Twitter Facebook Google+
You may like...
Behind Prison Walls - Unlocking a Safer…
Edwin Cameron, Rebecca Gore, … Paperback R350 R310 Discovery Miles 3 100
Syntax: A Generative Introduction 4e and…
A Carnie Paperback R2,154 Discovery Miles 21 540
A Tango With Death - Tolletjie Botha And…
Giancarlo Coccia Paperback R339 Discovery Miles 3 390
A Practical Grammar of the Antient…
John Kelly Paperback R443 Discovery Miles 4 430
Functional Awareness - Anatomy in Action…
Nancy Romita, Allegra Romita Hardcover R3,665 Discovery Miles 36 650
Out of Time - Poetry from the Climate…
Kate Simpson Paperback R389 R351 Discovery Miles 3 510
Small-Format Aerial Photography…
James S. Aber, Irene Marzolff, … Paperback R2,257 R2,135 Discovery Miles 21 350
1 Recce: Volume 3 - Onsigbaarheid Is Ons…
Alexander Strachan Paperback R380 R356 Discovery Miles 3 560
Anatomy - Directions, Planes, Movements…
Vincent Perez Poster R295 Discovery Miles 2 950
A Bigger Picture - My Fight to Bring a…
Vanessa Nakate Paperback R267 Discovery Miles 2 670

 

Partners