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
Justification Logic

JJustification Logic

Número de Cutter-SanbornA786jEntrada «Arte» → 786 · marca de obra “j”

Justification Logic

de Sergei Artemov, Melvin Fitting

Materias

Logic, symbolic and mathematical
Knowledge, theory of
Science
Reasoning

Ediciones (2)

Justification Logic (2019)
Cambridge University Press · inglés · ISBN 9781108348034
Justification Logic (2019)
Cambridge University Press · inglés · ISBN 9781108424912

Más obras de Sergei Artemov

Justification Logic — Sergei Artemov, Melvin Fitting | Cutter Number

Tapa de Logical Foundations of Computer Science

Logical Foundations of Computer Science

JJournal of Applied Logics, Volume 8, Number 8, September 202

Journal of Applied Logics, Volume 8, Number 8, September 2021. Special Issue

Ver todas las obras de Sergei Artemov →