Capa da revista O que nos faz pensar nº 39

Publicado: 2017-07-11

Apresentação

Apresentação

Luiz Carlos Pinheiro Dias Pereira, Jean-Baptiste Joinet

5

PDF

Artigos

Uma introdução à recepção moderna da geometria euclidiana

Abel Lassalle Casanave

7-29

PDF

Penser la notion de fonction en logique au XXe siècle (1900-1950)

Wendy Hammache

31-49

PDF (Francês)

Two basic results on translations between logics

Edward Hermann Haeusler, Luiz Carlos Pereira

51-54

PDF (English)

Sur la décidabilité de la logique du premier ordre monadique en Calcul des séquents

Jean-Baptiste Joinet

55-69

PDF (Francês)

Revisiting the proof theory of Classical S4

Bruno Lopes, Cecília Englander, Fernanda Lobo, Marcela Cruz

71-86

PDF (English)

Informatics: Science or 'Téchne'?

Tito Marques Palmeiro

87-97

PDF

A Criticism of Kripke’s Semantic for Intuitionistic Logic

Wagner de Campos Sanz

99-104

PDF (English)

Computadores nas práticas matemáticas: um exercício de micro história

Gisele Dalva Secco

105-122

PDF

Could Wittgenstein still be held as a father of truth tables?

Marcos Silva

123-146

PDF (English)

McTaggart e o problema das séries infinitas

Guilherme Ghisoni da Silva

147-155

PDF

On Graphical Calculi for Modal Logics

Paulo A. S. Veloso, Sheila R. M. Veloso

157-191

PDF (English)

Resenhas

Resenha do livro 'About Oneself: De Se Thought and Communication'

Pedro Muniz

193-201

PDF

Expediente

Sobre esta edição

1-4

PDF