Proof, Computation and Agency Logic at the Crossroads /
Uloženo v:
| Hlavní autor: | |
|---|---|
| Korporativní autor: | |
| Další autoři: | , |
| Médium: | Elektronický zdroj E-kniha |
| Jazyk: | angličtina |
| Vydáno: |
Dordrecht :
Springer Netherlands,
2011.
|
| Edice: | Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science ;
352 |
| Témata: | |
| On-line přístup: | http://dx.doi.org/10.1007/978-94-007-0080-2 |
| Tagy: |
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
|
Podobné jednotky: Proof, Computation and Agency
- Proof, Computation and Agency Logic at the Crossroads /
- The Age of Alternative Logics Assessing Philosophy of Logic and Mathematics Today /
- The Age of Alternative Logics Assessing Philosophy of Logic and Mathematics Today /
- Advances in Proof-Theoretic Semantics
- Advances in Proof-Theoretic Semantics
- Truth and Falsehood An Inquiry into Generalized Logical Values /