Proof, Computation and Agency Logic at the Crossroads /
Spremljeno u:
| Glavni autor: | |
|---|---|
| Autor kompanije: | |
| Daljnji autori: | , |
| Format: | Elektronički e-knjiga |
| Jezik: | engleski |
| Izdano: |
Dordrecht :
Springer Netherlands,
2011.
|
| Serija: | Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science ;
352 |
| Teme: | |
| Online pristup: | http://dx.doi.org/10.1007/978-94-007-0080-2 |
| Oznake: |
Dodaj oznaku
Bez oznaka, Budi prvi tko označuje ovaj zapis!
|
MARC
| LEADER | 00000nam a22000005i 4500 | ||
|---|---|---|---|
| 001 | 0000055540 | ||
| 005 | 20171002052848.0 | ||
| 007 | cr nn 008mamaa | ||
| 008 | 110401s2011 ne | s |||| 0|eng d | ||
| 020 | |a 9789400700802 |9 978-94-007-0080-2 | ||
| 024 | 7 | |a 10.1007/978-94-007-0080-2 |2 doi | |
| 035 | |a 0000005626 | ||
| 035 | |a (DE-He213)978-94-007-0080-2 | ||
| 050 | 4 | |a BC1-199 | |
| 072 | 7 | |a HPL |2 bicssc | |
| 072 | 7 | |a PHI011000 |2 bisacsh | |
| 082 | 0 | 4 | |a 160 |2 23 |
| 100 | 1 | |a van Benthem, Johan. | |
| 245 | 1 | 0 | |a Proof, Computation and Agency |h [electronic resource] : |b Logic at the Crossroads / |c edited by Johan van Benthem, Amitabha Gupta, Rohit Parikh. |
| 260 | |a Dordrecht : |b Springer Netherlands, |c 2011. | ||
| 300 | |b digital. | ||
| 490 | 0 | |a Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science ; |v 352 | |
| 650 | 0 | |a Philosophy (General). | |
| 650 | 0 | |a Logic. | |
| 650 | 0 | |a Philosophy, modern. | |
| 650 | 0 | |a Computer science. | |
| 650 | 0 | |a Logic, Symbolic and mathematical. | |
| 650 | 1 | 4 | |a Philosophy. |
| 650 | 2 | 4 | |a Logic. |
| 650 | 2 | 4 | |a Mathematical Logic and Foundations. |
| 650 | 2 | 4 | |a Mathematical Logic and Formal Languages. |
| 650 | 2 | 4 | |a Non-Western Philosophy. |
| 700 | 1 | |a Gupta, Amitabha. | |
| 700 | 1 | |a Parikh, Rohit. | |
| 710 | 2 | |a SpringerLink (Online service) | |
| 773 | 0 | |t Springer eBooks | |
| 776 | 0 | 8 | |i Printed edition: |z 9789400700796 |
| 830 | 0 | |a Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science ; |v 352 | |
| 856 | 4 | 0 | |u http://dx.doi.org/10.1007/978-94-007-0080-2 |
| 908 | |a 121203 | ||
| 912 | |a ZDB-2-SHU | ||
| 942 | 0 | 0 | |c EB |
| 950 | |a Humanities, Social Sciences and Law (Springer-11648) | ||
| 999 | |c 48494 |d 48494 | ||