Search Results - "Arithmetic--Foundations"

  • Showing 1 - 8 results of 8
Refine Results
  1. 1

    Metamathematics of First-Order Arithmetic

    Authors: Petr Hájek Pavel Pudlák

    Resource Type: eBook.

    Subjects: Arithmetic--Foundations

    Categories: MATHEMATICS / Logic

    PDF Full Text
    Save to List
  2. 2

    Positive Dynamical Systems in Discrete Time : Theory, Models, and Applications

    Authors: Ulrich Krause

    Resource Type: eBook.

    Subjects: Set theory--Textbooks, Arithmetic--Foundations--Textbooks

    Categories: MATHEMATICS / Functional Analysis, MATHEMATICS / Applied, MATHEMATICS / Differential Equations / General, MATHEMATICS / Discrete Mathematics

    PDF Full Text ePub Full Text
    Save to List
  3. 3

    Finite Precision Number Systems and Arithmetic

    Authors: Peter Kornerup David W. Matula

    Resource Type: eBook.

    Subjects: Arithmetic--Foundations

    Categories: MATHEMATICS / Arithmetic

    PDF Full Text
    Save to List
  4. 4

    The Search for Mathematical Roots, 1870-1940 : Logics, Set Theories and the Foundations of Mathematics From Cantor Through Russell to Gödel

    Authors: Ivor Grattan-Guinness

    Resource Type: eBook.

    Subjects: Set theory--History--19th century, Set theory--History--20th century, Arithmetic--Foundations--History--19th century, Arithmetic--Foundations--History--20th century, Logic, Symbolic and mathematical--History--19th century, Logic, Symbolic and mathematical--History--20th century

    Categories: MATHEMATICS / History & Philosophy, MATHEMATICS / Logic

    PDF Full Text ePub Full Text
    Save to List
  5. 5

    Juliette Kennedy and Roman Kossak eds. Set Theory, Arithmetic, and Foundations of Mathematics: Theorems, Philosophies.

    Source: Philosophia Mathematica. Jun2012, Vol. 20 Issue 2, p272-273. 2p.

    PDF Full Text
    Save to List
  6. 6

    Charles Parsons and Montgomery Link,eds. Hao Wang Logician and Philosopher.

    Source: Philosophia Mathematica. Jun2012, Vol. 20 Issue 2, p272-272. 1p.

    PDF Full Text
    Save to List
  7. 7

    Introduction to Logic and to the Methodology of the Deductive Sciences

    Authors: Alfred Tarski Jan Tarski

    Resource Type: eBook.

    Subjects: Mathematics--Philosophy, Arithmetic--Foundations

    Categories: MATHEMATICS / Logic, PHILOSOPHY / Logic, SCIENCE / Research & Methodology

    PDF Full Text
    Save to List
  8. 8

    Prolegomena to a Semantic Theory for Natural Languages Based on Recursive Artihmetic

    Authors: N/A

    URL: https://hdl.handle.net/20.500.14242/86149

    Save to List

Search Tools: