Catalog

Record Details

Catalog Search


Hybrid Logic and its Proof-Theory [electronic resource] / by Torben Braüner.

Braüner, Torben. (Author). SpringerLink (Online service) (Added Author).

Electronic resources

Texto Completo

Record details

  • ISBN: 9789400700024
  • Physical Description: XIV, 234 p. digital.
  • Publisher: Dordrecht : Springer Netherlands, 2011.

Search for related items by subject

Subject: Philosophy (General).
Logic.
Computer science.
Logic, Symbolic and mathematical.
Philosophy.
Logic.
Mathematical Logic and Formal Languages.
Mathematical Logic and Foundations.

Search for related items by series


Additional Resources