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
|
|