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 11-14 of 14 (Search time: 0.099 seconds).
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
Preview:
02_chapter_3.pdf.jpg
Title:
Proof system
Other title: Αποδεικτικό σύστημα
Author(s):
Koletsos, Georgios
Type:
Chapter
Preview:
02_chapter_8.pdf.jpg
Title:
Gentzen Systems
Other title: Συστήματα Gentzen
Author(s):
Koletsos, Georgios
Type:
Chapter
Preview:
02_chapter_9.pdf.jpg
Title:
Tableaux systems
Other title: Συστήματα Tableaux
Author(s):
Koletsos, Georgios
Type:
Chapter