Atención: recuerde que este es un catálogo parcial de nuestra colección.
Búsqueda en la clasificación temática MSC 2000: 03-02 (03B35 03B45 03B55 03C05 68Q42)
Mostrando 6 resultados encontrados.
 
03 Mathematical logic and foundations
  03-02 Research exposition (monographs, survey articles)
  03B General logic
    03B35 Mechanization of proofs and logical operations [See also 68T15]
    03B45 Modal logic {For knowledge and belief see 03B42; for temporal logic see 03B44; for provability logic see also 03F45}
    03B55 Intermediate logics
  03C Model theory
    03C05 Equational classes, universal algebra [See also 08Axx, 08Bxx, 18C05]
 
68 Computer science
  68Q Theory of computing
    68Q42 Grammars and rewriting systems
 

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