A Resolution Principle for a Logic with Restricted Quantifiers

ISBN
9783540550341
$89.99
Author Bürckert, Hans-Jürgen
Format Paperback
Details
  • Active Record
  • Individual Title
  • 1 vol.
  • 1991
  • xii, 120
  • Yes
  • 568
  • QA75.5-76.95