First-Order Logic

First-Order Logic

1968 • 180 pages