Atención: recuerde que este es un catálogo parcial de nuestra colección.
Navegando por la clasificación temática MSC 2000: 03F · Proof theory and constructive mathematics
 
03 Mathematical logic and foundations
 
  03F Proof theory and constructive mathematics
    03F03 Proof theory, general
    03F05 Cut-elimination and normal-form theorems
    03F07 Structure of proofs
    03F10 Functionals in proof theory
    03F15 Recursive ordinals and ordinal notations
    03F20 Complexity of proofs
    03F25 Relative consistency and interpretations
    03F30 First-order arithmetic and fragments
    03F35 Second- and higher-order arithmetic and fragments [See also 03B30]
    03F40 Gödel numberings in proof theory
    03F45 Provability logics and related algebras (e.g., diagonalizable algebras) [See also 03B45, 03G25, 06E25]
    03F50 Metamathematics of constructive systems
    03F52 Linear logic and other substructural logics [See also 03B47]
    03F55 Intuitionistic mathematics
    03F60 Constructive and recursive analysis [See also 03B30, 03D45, 26E40, 46S30, 47S30]
    03F65 Other constructive mathematics [See also 03D45]
    03F99 None of the above, but in this section
 

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