Support Kallipos by signing for its continuation!
  1. Home
  2. Search Results

Discover


Current filters:



Start a new search
Add filters:

Use filters to refine the search results.

 | 
Results 1-10 of 55 (Search time: 0.161 seconds).
Preview:
ch1_Istoria_kai_Theoria_twn_Logotexnikwn_Genwn_kai_Eidwn_PDF.pdf.jpg
Title:
Τι είναι τα λογοτεχνικά γένη και είδη και γιατί τα χρειαζόμαστε;
Author(s):
Karakasi, Aikaterini; Spyridopoulou, Maria; Kotelides, George
Type:
Chapter
Preview:
02_chapter_5.pdf.jpg
Title:
Hilbert system
Other title: Σύστημα Hilbert
Author(s):
Koletsos, Georgios
Type:
Chapter
Preview:
02_chapter_3.pdf.jpg
Title:
Proof system
Other title: Αποδεικτικό σύστημα
Author(s):
Koletsos, Georgios
Type:
Chapter
Preview:
02_chapter_06.pdf.jpg
Title:
Christian poetry
Other title: Χριστιανική ποίηση
Author(s):
Spanoudakis, Konstantinos; ; Karvouni, Aikaterini-Nina; ; Litinas, Nikos
Type:
Chapter
Preview:
02_chapter_07.pdf.jpg
Title:
Epigram
Other title: Επίγραμμα
Author(s):
Spanoudakis, Konstantinos; ; Karvouni, Aikaterini-Nina; ; Litinas, Nikos
Type:
Chapter
Preview:
02_chapter_2.pdf.jpg
Title:
The logic of propositions, propositional calculus
Other title: Η λογική των προτάσεων, προτασιακός λογισμός
Author(s):
Koletsos, Georgios
Type:
Chapter
Preview:
02_chapter_7.pdf.jpg
Title:
Godel's Incompleteness Theorems
Other title: Τα θεωρήματα μη πληρότητας του Gödel
Author(s):
Koletsos, Georgios
Type:
Chapter
Preview:
02_chapter_4.pdf.jpg
Title:
First-order predicate calculus
Other title: Πρωτοβάθμια κατηγορηματική Λογική
Author(s):
Koletsos, Georgios
Type:
Chapter
Preview:
02_chapter_6.pdf.jpg
Title:
Computability, recursive functions
Other title: Υπολογισιμότητα, αναδρομικές συναρτήσεις
Author(s):
Koletsos, Georgios
Type:
Chapter
Preview:
02_chapter_10.pdf.jpg
Title:
Lambda calculus and proofs, Curry–Howard isomorphism
Other title: Λάμβδα λογισμός και αποδείξεις, Ισομoρφισμός Curry-Howard
Author(s):
Koletsos, Georgios
Type:
Chapter