Catalog

Record Details

Catalog Search

[ 2 filters applied ]

Back To Results
Showing Item 35 of 37
Proof, Computation and Agency Logic at the Crossroads Cover Image E-book E-book

Proof, Computation and Agency Logic at the Crossroads

van Benthem, Johan. (Author). Gupta, Amitabha. (Added Author). Parikh, Rohit. (Added Author). SpringerLink (Online service) (Added Author).

Record details

  • ISBN: 9789400700802
  • Physical Description: electronic
    electronic resource
    access
    remote
    XXIV, 400p. digital.
  • Publisher: Dordrecht : Springer Netherlands, 2011.

Search for related items by subject

Subject: Philosophy (General)
Logic
Philosophy, modern
Computer science
Logic, Symbolic and mathematical
Philosophy
Logic
Mathematical Logic and Foundations
Mathematical Logic and Formal Languages
Non-Western Philosophy

Search for related items by series

Electronic resources

Texto Completo

Back To Results
Showing Item 35 of 37

Additional Resources