Navigator

Fortune cookie

“It is natural, now, to think of there being connected with a sign (name, combination of words, letter) besides that to which the sign refers, which may be called the reference of the sign, also what I should like to call the sense of the sign, wherein the mode of presentation is contained. In our example, accordingly, [an example in which lines a, b, and c all intersect at a single point] the reference of the expressions 'the point of intersection of a and b' and 'the point of intersection of b and c' would be the same, but not their senses. The reference of 'evening star' would be the same as that of 'morning star', but not the sense.”

Gottlob Frege.

MSc thesis of Georgios Tsotakos

A linear analysis of classical proofs

Supervisors: Georgios Koletsos, Yiorgos Stavrinos

Defended: Oct. 1, 2005.

Download

Download thesis.

Reporter

Posts

Web standards: XHTML1.0, CSS3.

Navigator

Fortune cookie

MSc thesis of Georgios Tsotakos

A linear analysis of classical proofs

Download

Reporter

Wednesday, 28 Feb 2018

post-mpla-administration

Wednesday, 26 Apr 2017

Ορκωμοσία ΜΠΛΑ

Saturday, 08 Apr 2017

Προκήρυξη Α.Λ.ΜΑ. ακαδημαϊκού έτους 2017-18

Monday, 24 Oct 2016

Ορκωμοσίες ΜΠΛΑ

Friday, 08 Jul 2016

Ακαδημαϊκό Έτος 2016-2017

Monday, 06 Jul 2015

Μη ανανέωση του ΜΠΛΑ