Catalog

Record Details

Catalog Search



Natural Deduction, Hybrid Systems and Modal Logics [electronic resource] / by Andrzej Indrzejczak.

Electronic resources

Record details

  • ISBN: 9789048187850
  • Physical Description: XXIII, 514p. online resource.
  • Publisher: Dordrecht : Springer Netherlands, 2010.
Subject: Philosophy (General).
Logic.
Computer science.
Artificial intelligence.
Algorithms.
Logic, Symbolic and mathematical.
Philosophy.
Logic.
Mathematical Logic and Foundations.
Mathematical Logic and Formal Languages.
Algorithms.
Artificial Intelligence (incl. Robotics).

Additional Resources