Skip to Main Content
It looks like you're using Internet Explorer 11 or older. This website works best with modern browsers such as the latest versions of Chrome, Firefox, Safari, and Edge. If you continue with this browser, you may see unexpected results.

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