
First-order logic
de Raymond M. Smullyan · Publicada por primera vez en 1968
Self-contained study guide to quantification theory based on the analytic tableaux.

de Raymond M. Smullyan · Publicada por primera vez en 1968
Self-contained study guide to quantification theory based on the analytic tableaux.
Springer · ISBN 9783642867200
Dover · inglés
Springer-Verlag · inglés
Springer · inglés · ISBN 9783540040996
Springer-Verlag · inglés
Springer Verlag · ISBN 9780387040998
Springer-Verlag
Springer · inglés
Springer-Verlag · inglés
Springer-Verlag · inglés