cutternumberG216c

Calculadora Explorar ¿Qué es el Cutter?

Buscar en el catálogo

Cargando…

cutternumber.com.ar

Número de Cutter-Sanborn y catálogo bibliográfico en español, con millones de obras, ediciones y autores.

Calculadora Cutter Guía de catalogación Explorar el catálogo

Datos bibliográficos de Open Library (Internet Archive). Tabla Cutter-Sanborn de tres cifras.

Inicio
Explorar
Proof, Computation and Agency

Tapa de Proof, Computation and Agency

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

Proof, Computation and Agency

de Johan van Benthem

Materias

Philosophy (General)
Logic
Symbolic and mathematical Logic
Computer science
Modern Philosophy
Social interaction
Philosophy
Data processing

Ediciones (3)

Proof, Computation and Agency (2013)
Springer Netherlands · inglés · ISBN 9789400735811

Proof, Computation and Agency — Johan van Benthem | Cutter Number

Proof, Computation and Agency (2011)

Springer · ISBN 9789400700819

Proof, Computation and Agency (2011)

Springer Science+Business Media B.V. · inglés · ISBN 9789400700796

Más obras de Johan van Benthem

Tapa de Logic in Games

Logic in Games

Tapa de Readings in Formal Epistemology

Readings in Formal Epistemology

SSemantics and Contextual Expressions

Semantics and Contextual Expressions

LLogical Dynamics of Information and Interaction

Logical Dynamics of Information and Interaction

RReadings in Formal Epistemology

Readings in Formal Epistemology

AAge of Alternative Logics

Age of Alternative Logics

Ver todas las obras de Johan van Benthem →