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 14 (Search time: 0.276 seconds).
Preview:
chapter_2.pdf.jpg
Title:
ΘΕΩΡΙΑ ΤΥΠΩΝ
Author(s):
Stefaneas, Petros; Koletsos, Georgios
Type:
Chapter
Preview:
chapter_1.pdf.jpg
Title:
LOGIC AND FUNCTIONAL PROGRAMMING
Other title: ΛΟΓΙΚΗ ΚΑΙ ΣΥΝΑΡΤΗΣΙΑΚΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ
Author(s):
Stefaneas, Petros; Koletsos, Georgios
Type:
Chapter
Preview:
chapter_4.pdf.jpg
Title:
ΕΦΑΡΜΟΓΕΣ: ΟΙ ΑΛΓΕΒΡΙΚΕΣ ΠΡΟΔΙΑΓΡΑΦΕΣ
Author(s):
Stefaneas, Petros; Koletsos, Georgios
Type:
Chapter
Preview:
chapter_3.pdf.jpg
Title:
ΕΞΙΣΩΤΙΚΗ ΛΟΓΙΚΗ
Author(s):
Stefaneas, Petros; 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_1.pdf.jpg
Title:
ΜΑΘΗΜΑΤΙΚΗ ΛΟΓΙΚΗ: Εισαγωγή
Author(s):
Koletsos, Georgios
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_5.pdf.jpg
Title:
Hilbert system
Other title: Σύστημα Hilbert
Author(s):
Koletsos, Georgios
Type:
Chapter
Preview:
02_chapter_6.pdf.jpg
Title:
Computability, recursive functions
Other title: Υπολογισιμότητα, αναδρομικές συναρτήσεις
Author(s):
Koletsos, Georgios
Type:
Chapter