Proof, Computation and Agency : Logic at the Crossroads /
Furkejuvvon:
| Váldodahkki: | |
|---|---|
| Materiálatiipa: | Girji |
| Giella: | eaŋgalasgiella |
| Almmustuhtton: |
Dordrecht, Holanda :
Springer,
2011, c2011
|
| Ráidu: | (Synthese Library)
|
| Liŋkkat: | Ver documento en línea |
| Fáddágilkorat: |
Eai fáddágilkorat, Lasit vuosttaš fáddágilkora!
|
Geahča maid: Proof, Computation and Agency :
- Games, Norms and Reasons : Logic at the Crossroads /
- Proofs and Algorithms : An Introduction to Logic and Computability /
- Information, Interaction, and Agency /
- Computational Logic and Proof Theory : 5th Kurt Gödel Colloquium, KGC'97, Vienna, Austria, August 25-29, 1997, Proceedings /
- A Proof Theory for Description Logics /
- Rewriting, Computation and Proof : Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of his 60th Birthday /