Skip to Main Content

Mathematics - Finding books in the library: 10 - 18

חיפוש בקטלוג הספרייה

Library's recommendations

מיון הנושאים 10-18

10    Logic and Foundations

11    Traditional logic.    Modal  logic.   Temporal logic.    Dynamical and other logics

12    Mathematical logic.    Symbolic logic.   Semantics.    Model theory.    Nonstandard analysis

13    Set theory.   Foundations of arithmetics.   Algebra and analysis

14    Metamathematics.    Proof theory.    Axiomatics

15    Philosophy of mathematics.    Philosophy of sciences.    Foundations of mathematics

16    Computable functions (Recursive function theory).    Recursive arithmetics.    Computability. Recursion theory

17    Decision problems

18    Automata (see also 252.2)    Mathematical machines and languages.    Artificial intelligence (see also 236).
        See also: Computer Science - Subject Classification System