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) -
Mathematical logic for computer science/
ανά: Ben-Ari, M., 1948-
Έκδοση: (2001) -
Schaum's outline of theory and problems of discrete mathematics /
ανά: Lipschutz, Seymour
Έκδοση: (1997) -
100 Mathematical proof /
ανά: Garnier, Rowan
Έκδοση: (1996) -
A Course in Mathematical Logic for Mathematicians
ανά: Manin, IU I.
Έκδοση: (2010)