Proof, Computation and Agency Logic at the Crossroads /
Furkejuvvon:
| Váldodahkki: | |
|---|---|
| Searvvušdahkki: | |
| Eará dahkkit: | , |
| Materiálatiipa: | Elektrovnnalaš E-girji |
| Giella: | eaŋgalasgiella |
| Almmustuhtton: |
Dordrecht :
Springer Netherlands,
2011.
|
| Ráidu: | Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science ;
352 |
| Fáttát: | |
| Liŋkkat: | http://dx.doi.org/10.1007/978-94-007-0080-2 |
| Fáddágilkorat: |
Eai fáddágilkorat, Lasit vuosttaš fáddágilkora!
|
| Olgguldas hápmi: | digital. |
|---|---|
| ISBN: | 9789400700802 |
| DOI: | 10.1007/978-94-007-0080-2 |