6 Results
000000IIE
Cover image for Logic and discrete mathematics : a concise introduction. [Hauptbd.] ...
by 
Conradie, Willem (DE-601)82883458X (DE-588)1073308510
Format: 
Books
Publication Date 
2015
Excerpt: 
Logic, Symbolic and mathematical -- Textbooks.
Available: Copies:
Cover image for Computational logic and human thinking : how to be artificially intelligent
by 
Kowalski, Robert.
Format: 
Books
Publication Date 
2011
Excerpt: 
Logic, Symbolic and mathematical -- Famous problems.
Available: Copies:
Cover image for Discrete mathematics : mathematical reasoning and proof with puzzles, patterns, and games
by 
Ensley, Douglas E.
Format: 
Books
Publication Date 
2006
Excerpt: 
Discrete mathematics : mathematical reasoning and proof with puzzles, patterns, and games / Ensley
Available: Copies:
Cover image for Mathematical logic for computer science
by 
Ben-Ari, M.
Format: 
Books
Publication Date 
2003 2001
Excerpt: 
Logic, Symbolic and mathematical.
Available: Copies:
Cover image for The limits of logic : higher-order logic and the Löwenheim-Skolem theorem
by 
Shapiro, Stewart, 1951-
Format: 
Books
Publication Date 
1996
Excerpt: 
Logic, Symbolic and mathematical.
Available: Copies:
Cover image for A course in mathematical logic
by 
Bell, J. L. (John Lane)
Format: 
Books
Publication Date 
1977
Excerpt: 
Logic, Symbolic and mathematical.
Available: Copies: