First-order logic

First-order logic

Zobrazit všechna vydaní (2)
Podrobná bibliografie
Hlavní autor: Smullyan, Raymond M.
Médium: Kniha
Vydáno: New York Springer-Verlag 1968.
Edice:Ergebnisse der Mathematik und ihrer Grenzgebiete 43.
Témata:
Logic, Symbolic and mathematical.