Número de Chamada
|
511.3 L832m
|
Autor Principal
|
Logic Meeting( (1987 : Kyoto, Japan))
|
Entradas Secundárias - Autor
|
Shinoda, J., (Juichi), 1948- coord. Slaman, T. A, (Theodore Allen), 1954- coord. Tugué, T., (Tosiyuki), 1926- coord.
|
Título Principal
|
Mathematical logic and applications : proceedings of the Logic Meeting held in Kyoto, 1987 / J. Shinoda, T.A. Slaman, T. Tugué, eds.
|
Publicação
|
Berlin ; New York : Springer-Verlag, c1989
|
Descrição Física
|
222 p. : il. ; 24 cm
|
Notas
|
Inclui bibliografia e índice
|
ISBN
|
0387515275 (broch.)
|
Assuntos
|
Lógica simbólica e matemática Congressos
|
|