yoleo
Catálogo

Catálogo

51.554 obras en el archivo

Mostrando 11 de 11 obras en “teoria de la demostracion”

Portada de Sobre la completitud del cálculo de funciones lógicas

Sobre la completitud del cálculo de funciones lógicas

Kurt Gödel

ensayo
Portada de Grundlagen der Mathematik (Fundamentos de las Matemáticas)

Grundlagen der Mathematik (Fundamentos de las Matemáticas)

David Hilbert, Paul Bernays

no ficcion
Portada de Fundamentos de la lógica y la teoría axiomática

Fundamentos de la lógica y la teoría axiomática

Andrei Kolmogorov

no ficcion
Portada de Lógica y fundamentos

Lógica y fundamentos

Dag Prawitz

filosofia
Portada de Conceptos Fundamentales de la Matématica

Conceptos Fundamentales de la Matématica

David Hilbert

no ficcion
Portada de Polynomial Local Search in the Polynomial Hierarchy and Witnessing in Fragments of Bounded Arithmetic

Polynomial Local Search in the Polynomial Hierarchy and Witnessing in Fragments of Bounded Arithmetic

Arnold Beckmann

ciencia ficcion
Portada de Elementos de lógica formal

Elementos de lógica formal

Patrick Suppes

no ficcion
Portada de Grundlagen der Mathematik, Band I

Grundlagen der Mathematik, Band I

David Hilbert, Paul Bernays

no ficcion
Portada de Ensayos de metamatemática

Ensayos de metamatemática

David Hilbert

filosofia
Portada de Sucesores de Gödel: El teorema de Löb y su linaje

Sucesores de Gödel: El teorema de Löb y su linaje

Craig Smorynski

no ficcion
Portada de Grundzüge der theoretischen Logik

Grundzüge der theoretischen Logik

David Hilbert, Paul Bernays

filosofia
yoleo