yoleo

Catálogo

Catálogo

53.761 obras en el archivo

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

Portada de On the Theory of Deduction, Part I. Derivation and Its Generalizations (1948)

On the Theory of Deduction, Part I. Derivation and Its Generalizations (1948)

Kurt Gödel

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

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

Grundlagen der Mathematik (Fundamentos de las Matemáticas)

David Hilbert, Paul Bernays

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

Portada de Lógica y fundamentos

Lógica y fundamentos

Dag Prawitz

Portada de Conceptos Fundamentales de la Matématica

Conceptos Fundamentales de la Matématica

David Hilbert

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

Portada de Grundlagen der Mathematik, Band I

Grundlagen der Mathematik, Band I

David Hilbert, Paul Bernays

Portada de Ensayos de metamatemática

Ensayos de metamatemática

David Hilbert

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

Portada de Grundzüge der theoretischen Logik

Grundzüge der theoretischen Logik

David Hilbert, Paul Bernays