Search Results for Logic, Symbolic and mathematical.

Select an Action

6 Results Found

000000IIE

Logic and discrete mathematics : a concise introduction. [Hauptbd.] ...

Conradie, Willem (DE-601)82883458X (DE-588)1073308510

Format:

Books

Publication Date

2015

Excerpt:

Logic, Symbolic and mathematical -- Textbooks.

Available: Copies:

Computational logic and human thinking : how to be artificially intelligent

Kowalski, Robert.

EBSCO https://ezproxy.iielearn.ac.za/login?url=https://search.ebscohost.com/login.aspx?direct=true&db=e000xww&AN=375916&site=ehost-live&scope=site

Format:

Books

Publication Date

2011

Excerpt:

Logic, Symbolic and mathematical -- Famous problems.

Available: Copies:

Discrete mathematics : mathematical reasoning and proof with puzzles, patterns, and games

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

Format:

Books

Publication Date

2006

Excerpt:

Discrete mathematics : mathematical reasoning and proof with puzzles, patterns, and games / Ensley

Available: Copies:

Mathematical logic for computer science

Ben-Ari, M.

Format:

Books

Publication Date

2003 2001

Excerpt:

Logic, Symbolic and mathematical.

Available: Copies:

The limits of logic : higher-order logic and the Löwenheim-Skolem theorem

Shapiro, Stewart, 1951-

Format:

Books

Publication Date

1996

Excerpt:

Logic, Symbolic and mathematical.

Available: Copies:

A course in mathematical logic

Bell, J. L. (John Lane)

Format:

Books

Publication Date

1977

Excerpt:

Logic, Symbolic and mathematical.

Available: Copies:

Select an Action

	{displayName}	{count}
{error}