Matematisk logik
Filter
O livro-texto popular de Dirk van Dalen, LOgica e Estrutura, agora em sua quinta ediCAo, oferece uma introduCAo abrangente aos fundamentos da lOgica clAssica e da lOgica …
"O que negar? Ou melhor: o que isso que chamamos de "nega o"? Rios de tinta j rolaram na busca de uma resposta a essas perguntas". Com essas palavras o autor, logo no in cio …
Apresenta-se, duma forma direta e concisa, os axiomas da teoria dos conjuntos ZFC e a mat ria fundamental sobre ordinais e cardinais transfinitos. Esta mat ria tem interesse n o …