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 61-68 of 68 (Search time: 0.111 seconds).
Preview:
02_chapter_3.pdf.jpg
Title:
Proof system
Other title: Αποδεικτικό σύστημα
Author(s):
Koletsos, Georgios
Type:
Chapter
Preview:
02_chapter_1.pdf.jpg
Title:
Introduction
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_5.pdf.jpg
Title:
Hilbert system
Other title: Σύστημα Hilbert
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
Preview:
02_chapter_6.pdf.jpg
Title:
Computability, recursive functions
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