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
Bounded arithmetic

BBounded arithmetic

Número de Cutter-SanbornB981bEntrada «Buss» → 981 · marca de obra “b”

Bounded arithmetic

de Samuel R. Buss

Materias

Computational complexity
Constructive mathematics
Computable functions
Recursive functions
Symbolic and mathematical Logic
Definability theory (Mathematical logic)
Proof theory
Arithmetic, problems, exercises, etc.
Computer science, mathematics

Bounded arithmetic — Samuel R. Buss | Cutter Number

Ediciones (1)

Bounded arithmetic (1986)
Bibliopolis · inglés

Más obras de Samuel R. Buss

Tapa de Handbook of proof theory

Handbook of proof theory

Tapa de Feasible mathematics

Feasible mathematics

Tapa de Proof complexity and feasible arithmetics

Proof complexity and feasible arithmetics

LLogic Colloquium '98

Logic Colloquium '98

Tapa de 3D Computer Graphics

3D Computer Graphics

Ver todas las obras de Samuel R. Buss →