Functions and generality of logic: reflections on Dedekind's and Frege's logicisms/ Hourya Benis-Sinaceur, Marco Panza, Gabriel Sandu.
Series: Logic, epistemology and the unity of science ; 37.Publisher: Cham: Springer, [2015]Description: xxi, 125 pages: illustrations; 25 cmContent type:- text
- unmediated
- volume
- 3319171089
- 9783319171081
- 511.352 F979
Item type | Current library | Collection | Call number | Copy number | Status | Date due | Barcode |
---|---|---|---|---|---|---|---|
Books | Castorina Estantes Abertas (Open Shelves) | Livros (Books) | 511.352 F979 2015 IMPA (Browse shelf(Opens below)) | 1 | Available | 39063000689235 |
Browsing Castorina shelves, Shelving location: Estantes Abertas (Open Shelves), Collection: Livros (Books) Close shelf browser (Hides shelf browser)
No cover image available No cover image available | No cover image available No cover image available | |||||||
511.352 F771 2004 IMPA Foundations of computational mathematics, Minneapolis 2002/ | 511.352 F771 2006 IMPA Foundations of computational mathematics, Santander 2005/ | 511.352 F889l 1958 IMPA Logique mathemátique appliquée. | 511.352 F979 2015 IMPA Functions and generality of logic: reflections on Dedekind's and Frege's logicisms/ | 511.352 G169i 1975 IMPA Intensional and higher-order modal logic: with applications to Montague semantics/ | 511.352 G517p 1987 IMPA Proof theory and logical complexity.. T.1/ | 511.352 G655r 1957 IMPA Recursive number theory; a development of recursive arithmetic in a logic-free equation calculus. |
Includes bibliographical references.
There are no comments on this title.