Spara
Information and Knowledge
Författare:
häftad, 2010
Engelska
It tries to provide a solution to the problem of analyticity: with this expression I understand, on the one hand, the essential nature of analytic truths and, on the other, the related explanation of the analytic nature of logical inference.
- Undertitel
- A Constructive Type-theoretical Approach
- Författare
- Giuseppe Primiero
- Upplaga
- Softcover reprint of hardcover 1st ed. 2008
- ISBN
- 9789048175567
- Språk
- Engelska
- Vikt
- 310 gram
- Utgivningsdatum
- 2010-11-17
- Förlag
- Springer
- Sidor
- 208
