First-order logic


Raymond M. Smullyan
Bok Engelsk 1968
Utgitt
Berlin : Springer , 1968
Omfang
XII, 158 s. : fig.
Emner
First-order logic
Predikatlogikk
matematisk logikk symbolsk
Dewey
ISBN
0387040994. - 3540040994

Andre utgaver/formater

First-order logic
Raymond M. Smullyan

Bok · Engelsk · 1995

Bibliotek som har denne