Paul Corazza. The Axiom of Infinity and Transformations j: V → V. The Bulletin of Symbolic Logic Vol. 16, No. 1 (Mar., 2010), pp. 37-84 Published by: Association for Symbolic Logic http://www.jstor.org/stable/25614509: Link
Cohen and Set Theory
Author(s): Akihiro Kanamori
Source: The Bulletin of Symbolic Logic, Vol. 14, No. 3 (Sep., 2008), pp. 351-378
Published by: Association for Symbolic Logic
Stable URL: http://www.jstor.org/stable/20059988
Alternativas à lógica clássica: intuicionismo e paraconsistência
-
Foi na primeira metade do século XX que a lógica clássica se estabeleceu
como o tratamento padrão da consequência lógica. Mas foi também no século
XX que ...
Há 5 anos
Nenhum comentário:
Postar um comentário