Smullyan Raymond M

First-order logic. - New York Springer-Verlag 1968 - x,158p. cm.

44366

Textual

R14, K8