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
Applied Proof Theory

AApplied Proof Theory

Número de Cutter-SanbornK79aEntrada «Koh» → 79 · marca de obra “a”

Applied Proof Theory

de Ulrich Kohlenbach

Materias

Proof theory
Approximation theory
Nonlinear operators
Automatic theorem proving

Ediciones (1)

Applied Proof Theory (2010)
Springer Berlin / Heidelberg · inglés · ISBN 9783642096273

Más obras de Ulrich Kohlenbach

Tapa de Logic, Language, Information, and Computation

Logic, Language, Information, and Computation

LLogic Colloquium 2007

Logic Colloquium 2007

Ver todas las obras de Ulrich Kohlenbach →

Applied Proof Theory — Ulrich Kohlenbach | Cutter Number