-
1
This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.Book -
2
-
3
-
4
-
5Table of Contents: “...Counting to infinity -- First-order logic -- First steps in model theory -- Recursive functions...”
This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.Book -
6
-
7by Baader, Franz, Horrocks, Ian (Professor), Horrocks, Ian, 1958-, Lutz, Carsten, 1971-, Sattler, UliTable of Contents: “...Little Bit of Model Theory --...”
Published 2017
Book -
8
-
9Published 2016Table of Contents: “...Sets, relation, functions -- First-order logic -- Model theory -- Computability -- Turing machines...”
This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.Book -
10by Hoyningen-Huene, Paul, 1946-Table of Contents: “... logic -- Semantics : model theory -- Proof theory -- Review --Prospects for predicate logic -- Appendix...”
Published 2004
This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.Book