Search Results for Mathematics -- Research.

Select an Action

2 Results Found

00DEFAULT

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.

Cantini, Andrea.

Format:

Excerpt:

topics, such as inductive definitions and predicative mathematics; (iii) they are particularly promising

Blackburn, Patrick, 1959-

Format:

Excerpt:

computational approaches are treated, and six major applications areas of modal logic (in Mathematics, Computer

Select an Action

	{displayName}	{count}
{error}