First-order logic


Raymond M. Smullyan
Bok Engelsk 1995
Utgitt
New York : Dover , 1995
Omfang
XII, 158 s.
Opplysninger
"An unabridged, corrected republication of the work first published by Springer-Verlag, New York, 1968 ('Band 43' of the series 'Ergebnisse der Mathematik und ihrer Grenzgebiete')". - 1. utg. 1968
Emner
First-order logic
matematisk logikk symbolsk
ISBN
0486683702

Andre utgaver/formater

First-order logic
Raymond M. Smullyan

Bok · Engelsk · 1968

Bibliotek som har denne