Current filters:

Start a new search
Add filters:

Use filters to refine the search results.

Term | HUMANITIES AND ARTS > Philosophy > Philosophy, Miscellaneous
Results 1-10 of 11 (Search time: 0.207 seconds).
Preview:
kallipos-logiki-2015-FINAL-KOY.pdf.jpg
Author(s):
Koletsos, Georgios
Type:
Undergraduate textbook
Preview:
02_chapter_6.pdf.jpg
Title:
Computability, recursive functions
Greek title: Υπολογισιμότητα, αναδρομικές συναρτήσεις
Author(s):
Koletsos, Georgios
Type:
Chapter
Preview:
02_chapter_10.pdf.jpg
Title:
Lambda calculus and proofs, Curry–Howard isomorphism
Greek title: Λάμβδα λογισμός και αποδείξεις, ισομoρφισμός Curry-Howard
Author(s):
Koletsos, Georgios
Type:
Chapter
Preview:
02_chapter_2.pdf.jpg
Title:
The logic of propositions, propositional calculus
Greek title: Η λογική των προτάσεων, προτασιακός λογισμός
Author(s):
Koletsos, Georgios
Type:
Chapter
Preview:
02_chapter_5.pdf.jpg
Title:
Hilbert system
Greek title: Σύστημα Hilbert
Author(s):
Koletsos, Georgios
Type:
Chapter
Preview:
02_chapter_7.pdf.jpg
Title:
Godel's Incompleteness Theorems
Greek title: Τα Θεωρήματα μη πληρότητας του Gödel
Author(s):
Koletsos, Georgios
Type:
Chapter
Preview:
02_chapter_4.pdf.jpg
Title:
First-order predicate calculus
Greek title: Πρωτοβάθμια κατηγορηματική Λογική
Author(s):
Koletsos, Georgios
Type:
Chapter
Preview:
02_chapter_3.pdf.jpg
Title:
Proof system
Greek title: Αποδεικτικό σύστημα
Author(s):
Koletsos, Georgios
Type:
Chapter
Preview:
02_chapter_8.pdf.jpg
Title:
Gentzen Systems
Greek title: Συστήματα Gentzen
Author(s):
Koletsos, Georgios
Type:
Chapter
Preview:
02_chapter_9.pdf.jpg
Title:
Tableaux systems
Greek title: Συστήματα Tableaux
Author(s):
Koletsos, Georgios
Type:
Chapter