Search Results for Language and logic.

6 Results Found

000000DEFAULT

Select a list

Make this your default list.

The following items were successfully added.

There was an error while adding the following items. Please try again.

Leach, Javier, 1942-

Format:

Excerpt:

beyond -- Dawn of science -- Mathematics formalized -- Propositional logic -- Language and meaning

Morse, Anthony P. (Anthony Perry)

Format:

Excerpt:

Language and inference -- Logic -- Set theory.

Tsokos, Chris P., author.

Format:

Excerpt:

mathematics through a foundational understanding of the underlying symbolic language and its many dialects

Koshy, Thomas.

Format:

Excerpt:

Preface: A Word to the Student; 1. The Language of Logic; 2. The Language of Sets; 3. Functions and

Puritz, Christian, author.

Format:

Excerpt:

particularly with the work of Abraham Robinson. (See (9), also (7).) I shall sketch the main ideas below and in

Nguyen Luu, Danh, author.

Format:

Excerpt:

phrased in the language of Presburger Arithmetic (PA), which is the first order logic on the integers with

	{displayName}	{count}
{error}