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
The Logic of provability

Tapa de The Logic of provability

Número de Cutter-SanbornB724lEntrada «Boo» → 724 · marca de obra “l”

The Logic of provability

de George Boolos · Publicada por primera vez en 1993

Materias

Modality (Logic)
Proof theory
Probabilities

Ediciones (2)

The Logic of provability (1993)
Cambridge University Press · inglés
The logic of provability (1993)
Cambridge University Press · inglés

Más obras de George Boolos

Tapa de Meaning and method

Meaning and method

Tapa de Logic, Logic, and Logic

Logic, Logic, and Logic

Tapa de Logic, logic, and logic

Logic, logic, and logic

1998

Tapa de Meaning and Method

Meaning and Method

The Logic of provability — George Boolos | Cutter Number

1990

Tapa de The unprovability of consistency

The unprovability of consistency

1979

Tapa de Computability and logic

Computability and logic

1974

Ver todas las obras de George Boolos →