In the light of logic /
In this collection of essays written over a period of twenty years, Solomon Feferman explains advanced results in modern logic and employs them to cast light on significant problems in the foundations of mathematics. Most troubling among these is the revolutionary way in which Georg Cantor elaborate...
| Main Author: | Feferman, Solomon |
|---|---|
| Format: | eBook |
| Language: | English |
| Published: |
New York :
Oxford University Press,
�1998.
|
| Series: | Logic and computation in philosophy.
|
| Subjects: | |
| Online Access: | http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=23626 |
Similar Items
-
Logic, sets, and recursion /
by: Causey, Robert L.
Published: (1994) -
An introduction to practical formal methods using temporal logic /
by: Fisher, Michael, 1962-
Published: (2011) -
Qualitative Spatial and Temporal Reasoning.
by: Ligozat, Gérard
Published: (2012) -
Schaum's outline of theory and problems of discrete mathematics /
by: Lipschutz, Seymour
Published: (1997) -
The R book /
by: Crawley, Michael J.
Published: (2013)