Catalog

Print Record Preview

Catalog Search




Print Now | Return

  1. Bib ID# 6179
    ISBN: 9789400700802
    UPC: 10.1007/978-94-007-0080-2
    Title: Proof, Computation and AgencyLogic at the Crossroads /
    Author: van Benthem, Johan.
    Publication Info: Springer Netherlands, 2011.
    Item Type: Language material

Additional Resources