Número de Chamada
|
511.3 B433c
|
|
Autor Principal
|
Bell, J. L. (John Lane)
|
|
Entradas Secundárias - Autor
|
Machover, Moshé
|
|
Título Principal
|
A course in mathematical logic / by J. L. Bell and M. Machover
|
|
Publicação
|
Amsterdam : North-Holland Publishing Company, New York : American Elsevier, 1977.
|
|
Descrição Física
|
xviii, 599 p. ; 23 cm
|
|
Notas
|
Inclui índice
Bibliografia: p. [576]-583
|
|
ISBN
|
0720428440 (enc.)
|
|
Assuntos
|
Lógica simbólica e matemática
|
|