Logic

form and function : the mechanization of deductive reasoning

312 pages

English language

Published Oct. 4, 1979 by University Press.

ISBN:
978-0-85224-305-3
Copied ISBN!

View on OpenLibrary

No rating (0 reviews)

1 edition

Subjects

  • Form (Logic)
  • Predicate calculus.
  • Reasoning.