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
Handbook of tableau methods

Tapa de Handbook of tableau methods

Número de Cutter-SanbornH236Entrada «Hand» → 236

Handbook of tableau methods

de Marcello D'Agostino

Materias

Symbolic and mathematical Logic
Automatic theorem proving
Mathematics, methodology
Science

Ediciones (1)

Handbook of tableau methods (1999)
Kluwer · inglés

Más obras de Marcello D'Agostino

Tapa de Handbook of Tableau Methods

Handbook of Tableau Methods

LLogica e politica

Logica e politica

Ver todas las obras de Marcello D'Agostino →

Handbook of tableau methods — Marcello D'Agostino | Cutter Number