First-Order Logic (Dover Books on Mathematics)
by
Raymond M. Smullyan
Paperback
details (
USA
).
ISBN: 978-0-486-68370-6
ISBN-10: 0-486-68370-2
Dover Publications
· 1995