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...
Κύριος συγγραφέας: | Feferman, Solomon |
---|---|
Μορφή: | Ηλ. βιβλίο |
Γλώσσα: | English |
Έκδοση: |
New York :
Oxford University Press,
�1998.
|
Σειρά: | Logic and computation in philosophy.
|
Θέματα: | |
Διαθέσιμο Online: | http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=23626 |
Παρόμοια τεκμήρια
-
Logic, sets, and recursion /
ανά: Causey, Robert L.
Έκδοση: (1994) -
An introduction to practical formal methods using temporal logic /
ανά: Fisher, Michael, 1962-
Έκδοση: (2011) -
Qualitative Spatial and Temporal Reasoning.
ανά: Ligozat, Gérard
Έκδοση: (2012) -
Schaum's outline of theory and problems of discrete mathematics /
ανά: Lipschutz, Seymour
Έκδοση: (1997) -
The R book /
ανά: Crawley, Michael J.
Έκδοση: (2013)