Computational Logic and Proof Theory : Third Kurt Gödel Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993. Proceedings

ISBN
9783540571841
$89.99
Format Perfect
Details
  • 11.0" x 8.5" x 0.3"
  • Active Record
  • Individual Title
  • 1 vol.
  • 1993
  • xi, 354
  • Yes
  • 713
  • QA1-939