|
|
Biblioteca Dr. Antonio Monteiro · Catálogo |
| 03 | Mathematical logic and foundations | ||
| 03D | Computability and recursion theory | ||
| 03D03 | Thue and Post systems, etc. | ||
| 03D05 | Automata and formal grammars in connection with logical questions [See also 68Q45, 68Q70, 68R15] | ||
| 03D10 | Turing machines and related notions [See also 68Q05] | ||
| 03D15 | Complexity of computation [See also 68Q15, 68Q17] | ||
| 03D20 | Recursive functions and relations, subrecursive hierarchies | ||
| 03D25 | Recursively (computably) enumerable sets and degrees | ||
| 03D28 | Other Turing degree structures | ||
| 03D30 | Other degrees and reducibilities | ||
| 03D35 | Undecidability and degrees of sets of sentences | ||
| 03D40 | Word problems, etc. [See also 06B25, 08A50, 20F10, 68R15] | ||
| 03D45 | Theory of numerations, effectively presented structures [See also 03C57; for intuitionistic and similar approaches see 03F55] | ||
| 03D50 | Recursive equivalence types of sets and structures, isols | ||
| 03D55 | Hierarchies | ||
| 03D60 | Computability and recursion theory on ordinals, admissible sets, etc. | ||
| 03D65 | Higher-type and set recursion theory | ||
| 03D70 | Inductive definability | ||
| 03D75 | Abstract and axiomatic computability and recursion theory | ||
| 03D80 | Applications of computability and recursion theory | ||
| 03D99 | None of the above, but in this section | ||
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