Capa da revista O que nos faz pensar nº 39

Published: 2017-07-11

Introduction

Introduction

Luiz Carlos Pinheiro Dias Pereira, Jean-Baptiste Joinet

5

PDF (Português (Brasil))

Articles

An introduction to the modern reception of Euclidean geometry

Abel Lassalle Casanave

7-29

PDF (Português (Brasil))

Thinking about the notion of function in logic in the twentieth century (1900-1950)

Wendy Hammache

31-49

PDF (Francês) (Português (Brasil))

Two basic results on translations between logics

Edward Hermann Haeusler, Luiz Carlos Pereira

51-54

PDF

On the decidability of monadic first order logic in sequent calculus

Jean-Baptiste Joinet

55-69

PDF (Francês) (Português (Brasil))

Revisiting the proof theory of Classical S4

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

71-86

PDF

Informatics: Science or 'Téchne'?

Tito Marques Palmeiro

87-97

PDF (Português (Brasil))

A Criticism of Kripke’s Semantic for Intuitionistic Logic

Wagner de Campos Sanz

99-104

PDF

Computers in mathematical practice: an exercise of micro history

Gisele Dalva Secco

105-122

PDF (Português (Brasil))

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

Marcos Silva

123-146

PDF

McTaggart and the problem of infinite series

Guilherme Ghisoni da Silva

147-155

PDF (Português (Brasil))

On Graphical Calculi for Modal Logics

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

157-191

PDF

Reviews

Book review on 'About Oneself: De Se Thought and Communication'

Pedro Muniz

193-201

PDF (Português (Brasil))

About this issue

About this issue

1-4

PDF (Português (Brasil))