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
Methods of Cut-Elimination

Tapa de Methods of Cut-Elimination

Número de Cutter-SanbornL533mEntrada «Leit» → 533 · marca de obra “m”

Methods of Cut-Elimination

de Alexander Leitsch

Materias

Mathematics
Symbolic and mathematical Logic
Computer science
Automatic theorem proving
Proof theory
Mathematical Logic and Foundations
Mathematical Logic and Formal Languages

Ediciones (3)

Methods of Cut-Elimination (2013)
Springer · ISBN 9789400734975
Methods of Cut-Elimination (2011)

Methods of Cut-Elimination — Alexander Leitsch | Cutter Number

Springer Science+Business Media B.V. · inglés · ISBN 9789400703193

Methods of Cut-Elimination (2011)

Springer · ISBN 9789400703216

Más obras de Alexander Leitsch

Tapa de Automated reasoning

Automated reasoning

Tapa de The Resolution Calculus

The Resolution Calculus

Ver todas las obras de Alexander Leitsch →