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
Proof theory and intuitionistic systems

Tapa de Proof theory and intuitionistic systems

Número de Cutter-SanbornS286pEntrada «Scarl» → 286 · marca de obra “p”

Proof theory and intuitionistic systems

de Bruno Scarpellini · Publicada por primera vez en 1971

Materias

Intuitionistic mathematics
Proof theory
Intuitionistische Logik
Nombres, Théorie des
Intuitionnisme (Mathématiques)
Beweistheorie
Zahlentheorie
Mathematics, methodology
Mathematics

Ediciones (1)

Proof theory and intuitionistic systems — Bruno Scarpellini | Cutter Number

Proof theory and intuitionistic systems. (1971)
Springer-Verlag · inglés

Más obras de Bruno Scarpellini

PProof theory and intuitionistic systems

Proof theory and intuitionistic systems

EErnst Specker Selecta

Ernst Specker Selecta

Tapa de Stability, instability, and direct integrals

Stability, instability, and direct integrals

1999

AApproximation von Funktionen durch Linearkombinationen von E

Approximation von Funktionen durch Linearkombinationen von Eigenfunktionen Sturm-Liouvillescher Differentialgleichungen

Tapa de Selecta

Selecta

Ver todas las obras de Bruno Scarpellini →