Limit this search to....

  (2 items found)
Title Author / Artist Prod Type ISBN/ISBN-13
or UPC		 Pub
Date		 Price
Applied Logic for Computer Scientists: Computational Deduction and Formal Proofs 2017 Edition (Undergraduate Topics in Computer Science)Ayala-Rincón, MauricioPaperback3319516515 /
9783319516516		02/2017$47.49
Interactive Theorem Proving: 8th International Conference, Itp 2017, Brasília, Brazil, September 26-29, 2017, Proceedings 2017 Edition Ayala-Rincón, MauricioPaperback331966106X /
9783319661063		08/2017$52.24
  (2 items found)

Warning: Unknown: write failed: No space left on device (28) in Unknown on line 0

Warning: Unknown: Failed to write session data (files). Please verify that the current setting of session.save_path is correct (/tmp) in Unknown on line 0