First-order logic

by

158 pages

English language

Published Jan. 1, 1995 by Dover.

ISBN:
978-0-486-68370-6
Copied ISBN!

View on OpenLibrary

No rating (0 reviews)

Self-contained study guide to quantification theory based on the analytic tableaux.

3 editions

Subjects

  • First-order logic.