-
1
Elements of deductive inference an introduction to symbolic logic
Foilsithe / Cruthaithe 2000LEABHAR -
2
-
3
Completeness, compactness, and undecidability an introduction to mathematical logic
Foilsithe / Cruthaithe 1975LEABHAR -
4
-
5