Idioma:

Handbook of mathematical logic

Jon Barwise 1942-; H. Jerome Keisler (Howard Jerome), 1936-

Localização: IME - Inst. Matemática e Estatística (QA9 B296h e.2 )(Acessar)

Título:
Handbook of mathematical logic
Autor: Jon Barwise 1942-; H. Jerome Keisler (Howard Jerome), 1936-
Assuntos: Logic, Symbolic and mathematical; LÓGICA MATEMÁTICA (TEXTOS AVANÇADOS); SISTEMAS LÓGICOS CLÁSSICOS (TEXTOS AVANÇADOS); LINGUAGENS INFINITÁRIAS (TEXTOS AVANÇADOS); LÓGICA INTUICIONISTA; LÓGICA COMBINATÓRIA (TEXTOS AVANÇADOS); TEORIA DA DEMONSTRAÇÃO (TEXTOS AVANÇADOS); TEORIA DA RECURSÃO (TEXTOS AVANÇADOS); TEORIA DOS MODELOS (TEXTOS AVANÇADOS); ANÁLISE NÃO STANDARD (TEXTOS AVANÇADOS); LÓGICA ALGÉBRICA (TEXTOS AVANÇADOS); TEORIA DOS CONJUNTOS (TEXTOS AVANÇADOS)
Notas: Includes bibliographies and index
Títulos relacionados: Série:Studies in logic and the foundations of mathematics v. 90
Editor: Amsterdam New York North-Holland
Data de criação/publicação: 1977
Formato: xi, 1165 p 23 cm.
Idioma: Inglês

Links

Voltar para lista de resultados