Resultado da Busca
2 de nov. de 2011 · 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.
- Rudolf Carnap
22 de out. de 2010 · Logic, Symbolic and mathematical, Logique symbolique et mathématique, Symbolische logica, Wiskunde Publisher New York : Dover Publications Collection inlibrary; printdisabled; internetarchivebooks Contributor Internet Archive Language English
19 de jun. de 2019 · An illustration of a computer application window Wayback Machine ... Introduction to symbolic logic and its applications by Carnap, Rudolf, 1891-1970.
25 de mar. de 2020 · A clear, comprehensive, and rigorous treatment develops the subject from elementary concepts to the construction and analysis of relatively complex logical languages. It then considers the application of symbolic logic to the clarification and axiomatization of theories in mathematics, physics, and biology.
Introduction. Logic is a branch of science that studies correct forms of reasoning. It plays a fundamental role in such disciplines as philosophy, mathematics, and computer science. Like philosophy and mathematics, logic has ancient roots. The earliest treatises on the nature of correct reasoning were written over 2000 years ago.
Rudolf Carnap. 3.95. 37 ratings1 review. A clear, comprehensive & rigorous treatment develops the subject from elementary concepts to the construction & analysis of relatively complex logical languages. It then considers the application of symbolic logic to the clarification & axiomatization of theories in mathematics, physics & biology.
12 de jul. de 2012 · Paperback. $8.77 - $12.22 39 Used from $4.78 26 New from $8.19. 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 ...
- Kindle
- Rudolf Carnap
