Resultado da Busca
Part II of the book is without parallel anywhere: an introduction to a very wide range of axiomatic theories, presented as interesting applications of modern formal logic. This is a wonderful reference for ZF set theory, Peano axioms, Tarski's axioms for the reals, the Hausdorff- Bohnenblust axioms for topology, axioms for geometry, space-time, and mirabile dictu, even mereology.
- (30)
Sí, puedes acceder a Introduction to Symbolic Logic and Its Applications de Rudolf Carnap en formato PDF o ePUB, así como a otros libros populares de Mathematics y Logic in Mathematics. Tenemos más de un millón de libros disponibles en nuestro catálogo para que explores.
This book is one of the clearest, most comprehensive and rigorous introductions to modern symbolic logic available in any language. Professor Carnap, a world authority on symbolic logic, develops the subject from elementary concepts and simple exercises through the construction and analysis of a number of relatively complex logical languages.
Reviewed Work(s): Graph structure and monadic second-order logic. Encyclopedia of Mathematics and Its Applications, vol. 138 by Bruno Courcelle; Joost Engelfriet. Achim Blumensath - forthcoming - Association for Symbolic Logic: The Bulletin of Symbolic Logic.
Amazon.in - Buy Introduction to Symbolic Logic and Its Applications book online at best prices in India on Amazon.in. Read Introduction to Symbolic Logic and Its Applications book reviews & author details and more at Amazon.in. Free delivery on qualified orders.
- Paperback
- Rudolf Carnap
Introduction to symbolic logic and its applications by Rudolf Carnap, 1958, Dover Publications edition, in English Introduction to symbolic logic and its applications. by Rudolf Carnap | Open Library It looks like you're offline.
This book is one of the clearest, most comprehensive and rigorous introductions to modern symbolic logic available in any language. Professor Carnap, a world authority on symbolic logic, develops the subject from elementary concepts and simple exercises through the construction and analysis of a number of relatively complex logical languages.
