Número de Cutter-SanbornB476pEntrada «Benth» → 476 · marca de obra “p”

Proof, Computation and Agency

Name: Proof, Computation and Agency
ISBN: 9789400735811

Logic at the Crossroads

Autor	Johan van Benthem, Amitabha Gupta, Rohit Parikh
Editorial	Springer Netherlands
Fecha de publicación	2013
Idioma	inglés
ISBN-13	9789400735811
Número de Cutter	`B476p`

Proof, Computation and Agency (2013) — ISBN 9789400735811 | Cutter Number