Apopseis tēs typikēs logikēs.
Contributors: Kentro Epistēmonikōn Ereunōn (Cyprus)
Series: Epēteris.; 1
Publisher: Kentron Epistēmonikōn Ereunōn
Published: 1979
Place of publication: Leukōsia
Language: gre
Number of pages: 303
Subjects: Type theory.
Notes: Bibliography: p. 301-303.
Texts in Greek, English, and French.
Table of contents: title: Prolegomena; title: Sur la nature axiologique des jugements / Théodore Papadopoullos; title: Hē logikotēs kai hē typikotēs tēs typikēs logikēs / Iōannēs G. Soutsakos; title: Eikonikē kai aneikonikē symvolikē / Kōstas P. Michaēlidēs; title: Tarski's analysis of objective truth in type theory / S.A. Sofroniou.