Dados do Acervo - Livros

Número de Chamada   
 
511.3    I61i   
Entradas Secundárias - Autor Shapiro, Stewart, 1951-
Título Principal Intensional mathematics / edited by Stewart Shapiro
Publicação Amsterdam : Elsevier, c1985.
Descrição Física v, 230 p. : il. ; 23 cm
Série Studies in logic and the foundations of mathematics v. 113
Notas Inclui bibliografias
ISBN 0444876324 (enc.)
Assuntos Modalidade (Lógica)
Matemática construtiva
Matemática instuicionista