4 Results Found
0000IIE
1.
by
Ben-Ari, M.
Format:
Books
Publication Date
2003 2001
Excerpt:
Mathematical logic for computer science / Ben-Ari, M.
2.
by
Bell, J. L. (John Lane)
Format:
Books
Publication Date
1977
Excerpt:
A course in mathematical logic / Bell, J. L. (John Lane)
3.
by
Shapiro, Stewart, 1951-
Format:
Books
Publication Date
1996
Excerpt:
The limits of logic : higher-order logic and the Löwenheim-Skolem theorem / Shapiro, Stewart, 1951-
4.
by
Ensley, Douglas E.
Publisher description http://www.loc.gov/catdir/enhancements/fy0622/2005017417-d.html
Table of contents http://www.loc.gov/catdir/toc/ecip0514/2005017417.html
Table of contents http://www.loc.gov/catdir/toc/ecip0514/2005017417.html
Format:
Books
Publication Date
2006
Excerpt:
Logic, Symbolic and mathematical.