Axiomatic Analysis: An Introduction to Logic and the Real System

We can also tell you Axiomatic Analysis: An Introduction to Logic and the Real System is a…

• …Book

If you know more about Axiomatic Analysis: An Introduction to Logic and the Real System, you can add more facts here »

Similar topics in Freebase

• 

  The art of objects

• 

  Godel, Escher, Bach

• 

  For All Practical Purposes

• 

  The emergence of probability

• 

  Principia Mathematica

  The Principia Mathematica is a 3-volume work on the foundations of mathematics, written by Alfred North Whitehead and Bertrand Russell and published in 1910, 1912 & 1913; in 1927 it appeared in a second edition with an important Introduction To the Second Edition, an Appendix A that replaced *9 and...
• 

  Begriffsschrift

  Begriffsschrift is the title of a book on logic by Gottlob Frege, published in 1879, and is also the name of the formal system set out in that book. Begriffsschrift is usually translated as concept writing or concept notation; the full title of the book identifies it as "a formula language,...

• Philosophy of Arithmetic

  The Philosophy of Arithmetic is the English language title of Edmund Husserl's first published book. It was first published, in the German language, under the full title, Philosophie der Arithmetik. Psychologische und logische untersuchungen. The work is a synthesis of his studies in mathematics,...

• Functional programming with Miranda

• Principles of Theoretical Logic

  Principles of Mathematical Logic is the 1950 American translation of the 1938 second edition of David Hilbert's and Wilhelm Ackermann's classic text Grundzüge der theoretischen Logik, on elementary mathematical logic. The 1928 first edition thereof is considered the first elementary text clearly...

• Algorithms + Data Structures = Programs

  Algorithms + Data Structures = Programs is a book written by Niklaus Wirth covering some of the fundamental topics of computer programming, particularly that algorithms and data structures are inherently related. For example, if one has a sorted list one will use a search algorithm optimal for...