Catalog

Record Details

Catalog Search


Kripke’s Worlds An Introduction to Modal Logics via Tableaux Cover Image E-book E-book

Kripke’s Worlds [electronic resource] : An Introduction to Modal Logics via Tableaux / by Olivier Gasquet, Andreas Herzig, Bilal Said, François Schwarzentruber.

Gasquet, Olivier. (author.). Herzig, Andreas. (author.). Said, Bilal. (author.). Schwarzentruber, François. (author.). SpringerLink (Online service) (Added Author).

Record details

  • ISBN: 9783764385040
  • Physical Description: XV, 198 p. 73 illus. online resource.
  • Publisher: Basel : Springer Basel : 2014.

Search for related items by subject

Subject: Mathematics.
Logic, Symbolic and mathematical.
Mathematics.
Mathematical Logic and Foundations.
Mathematics, general.

Search for related items by series

Electronic resources

Texto completo


Additional Resources