Atención: recuerde que este es un catálogo parcial de nuestra colección.
Búsqueda por código de MSC 2000:
    03B22 - Abstract deductive systems
Mostrando 1-4 de 4 resultados, ordenados por

A general algebraic semantics for senten[t]ial logics

Josep Maria Font, Ramon Jansana.

Berlin : Springer-Verlag, ©1996.

Ubicación:

  • 03
    F677s

A general algebraic semantics for deductive systems

by Josep M. Font and Ramon Jansana.

Preliminary version.

Barcelona : Department of Logic, History and Philosophy of Science, Feb. 14, 1993.

Ubicación:

  • 03
    F677

Recherches sur la théorie générale des systèmes formels et sur les systèmes connectifs

par Jean Porte.

Paris : Gauthier-Villars, 1965.

Ubicación:

  • 03
    P843r

Natural deduction : the logical basis of axiom systems

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

Belmont, Calif. : Wadsworth, ©1962.

Ubicación:

  • 03
    An545

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