RT Book
T1 Logic: mathematics, language, computer science, and philosophy
A1 De Swart, Harrie 1944-
LA English
PP Frankfurt am Main u.a.
PB Lang
YR 1993
UL https://ixtheo.de/Record/1104174812
K1 Logic, Symbolic and mathematical