Smullyan, Raymond M.

First-order logic - New York: Dover Publications, 1995 - 158 p.; Index.: 22 cm.

9780486683706 (pbk)


First-order logic

511.3 / SMU

Powered by Koha