mathematical logic

http://psh.techlib.cz/skos/PSH7096

Czech equivalent

  • matematická logika

Broader concept

  • mathematics

Related concepts

  • language and logic
  • logic

Narrower concepts

  • algebraic logic
  • classical logic
  • combinatorial logics
  • first order logic
  • fuzzy logic
  • Goedel theory
  • higher order logic
  • intuitionistic logics
  • multi-values logics
  • paraconsistent logics
  • predicate calculus
  • probability logics
  • proof theory
  • propositional calculus
  • recursion theory
  • theory of models
  • transition logics

Related concepts

  • Wikipedia: Matematická logika
Concept in JSON-LD format
  1. Top concepts
  2. mathematics
  3. mathematical logic
  • NTK catalogue
  • Grey literature
See detailed results in the NTK catalogue >>
    See detailed results in the NRGL repository >>


      Polythematic Structured Subject Heading System (PSH) created by the National Library of Technology is licensed under the Creative Commons Attribution-ShareAlike 3.0 Czech Republic license.
      Do you have any questions or suggestions on PSH? Contact us!