Atención: recuerde que este es un catálogo parcial de nuestra colección.
Búsqueda por código de MSC 2000:
    03F - Proof theory and constructive mathematics
Mostrando 1-12 de 12 resultados, ordenados por

Imagen de la tapa

Explanation and proof in mathematics : philosophical and educational perspectives

Gila Hanna, Hans Niels Jahnke, Helmut Pulte, editors.

New York : Springer, ©2010.

Ubicación:

  • 97
    Ex96

Mathematical proof : an elementary approach

Arthur E. Hallerberg.

New York : Hafner Press, ©1974.

Ubicación:

  • 03
    H185

Notes on constructive mathematics

by Per Martin-Löf.

Stockholm : Almqvist & Wiksell, impresión de 1970.

Ubicación:

  • 03
    M379

Formal systems and recursive functions : proceedings of the Eighth Logic Colloquium, Oxford, July 1963

edited by J. N. Crossley and M. A. E. Dummett.

Amsterdam : North-Holland, 1965.

Ubicación:

  • 03
    L832c-8

Natural deduction : a proof-theoretical study.

Stockholm [etc.] : Almqvist & Wiksell, 1965.

Ubicación:

  • 03
    P918

Natural deduction : the logical basis of axiom systems

John M. Anderson and Henry W. Johnstone, Jr.

Belmont, Calif. : Wadsworth, ©1962.

Ubicación:

  • 03
    An545

Constructivity in mathematics : proceedings of the Colloquium held at Amsterdam, 1957

edited by A. Heyting.

Amsterdam : North-Holland, 1959.

Ubicación:

  • 03
    C758m

Provability in logic

Stig Kanger.

Stockholm : Almqvist & Wiksell, 1957.

Ubicación:

  • 03
    K16

Les limitations internes des formalismes : étude sur la signification du théorème de Gödel et des théorèmes apparentés dans la théorie des fondements des mathématiques

par Jean Ladrière.

Louvain : E. Nauwelaerts ; Paris : Gauthier-Villars, 1957.

Ubicación:

  • 03
    L157

Semantic entailment and formal derivability

by E. W. Beth.

Amsterdam : Noord-Hollandsche Uitg. Mij., 1955.

Ubicación:

  • 03
    B562s

Recherches sur la déduction logique = (Untersuchungen über das logische Schliessen)

par Gerhard Gentzen ; traduction et commentaire par Robert Feys et Jean Ladrière.

Paris : Presses Universitaires de France, 1955.

Ubicación:

  • 03
    G339

Les fondements des mathématiques : intuitionnisme, théorie de la démonstration

par A. Heyting.

Paris : Gauthier-Villars, 1955.

Ubicación:

  • 03
    H621f

Explorar índices alfabéticos


Ingrese las primeras letras del autor o título que busca. Omita artículos iniciales en títulos.

Búsquedas por tema: explore la MSC 2000

¿Necesita ayuda?

Si necesita ayuda para encontrar información, puede visitar personalmente la biblioteca, llamarnos por teléfono al 291 459 5116, o enviarnos un mensaje a bibima@criba.edu.ar.

Para solicitar copias de artículos, complete el formulario o escríbanos a pedidos.inmabb@gmail.com

Enlaces surtidos