Proof, Computation and Agency : Logic at the Crossroads /

Guardado en:
Bibliografiske detaljer
Hovedforfatter: Johan van Benthem, Amitabha Gupta, Rohit Parikh (edición)
Format: Bog
Sprog:engelsk
Udgivet: Dordrecht, Holanda : Springer, 2011, c2011
Serier:(Synthese Library)
Online adgang:Ver documento en línea
Tags: Tilføj Tag
Ingen Tags, Vær først til at tagge denne postø!