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
First-Order Logic and Automated Theorem Proving

FFirst-Order Logic and Automated Theorem Proving

Número de Cutter-SanbornF547fEntrada «Fitt» → 547 · marca de obra “f”

First-Order Logic and Automated Theorem Proving

de Melvin Fitting

Ediciones (1)

First-Order Logic and Automated Theorem Proving (1990)
Island Press · inglés · ISBN 9781468403589

First-Order Logic and Automated Theorem Proving — Melvin Fitting | Cutter Number