Catalog

Record Details

Catalog Search


Dual Tableaux: Foundations, Methodology, Case Studies [electronic resource] / by Ewa Orlowska, Joanna Golińska Pilarek.

Orlowska, Ewa. (Author). Golińska Pilarek, Joanna. (Added Author). SpringerLink (Online service) (Added Author).

Electronic resources

Texto Completo

Record details

  • ISBN: 9789400700055
  • Physical Description: XVI, 524 p. digital.
  • Publisher: Dordrecht : Springer Netherlands, 2011.

Search for related items by subject

Subject: Mathematics.
Logic.
Computer science.
Logic, Symbolic and mathematical.
Mathematics.
Mathematical Logic and Foundations.
Mathematical Logic and Formal Languages.
Logic.

Search for related items by series


Additional Resources