Start a new search
Add filters:

Use filters to refine the search results.

Results 4841-4850 of 6575 (Search time: 0.009 seconds).
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
Preview:
02_chapter_1.pdf.jpg
Author(s):
Koletsos, Georgios
Type:
Chapter
Preview:
interractive3.2.pdf.jpg
Author(s):
Seel, Olaf Immanuel; Seel, Olaf Immanuel
Type:
Interactive object
Preview:
02_chapter_10.pdf.jpg
Author(s):
Kavouras, Marinos; Darra, Athanasia; Kokla, Margarita; Kontaxaki, Sofia; Panopoulos, Georgios; Tomai, Eleni
Type:
Chapter
Preview:
02_chapter_05.pdf.jpg
Author(s):
Kavouras, Marinos; Darra, Athanasia; Kokla, Margarita; Kontaxaki, Sofia; Panopoulos, Georgios; Tomai, Eleni
Type:
Chapter
Preview:
02_chapter_09.pdf.jpg
Author(s):
Kavouras, Marinos; Darra, Athanasia; Kokla, Margarita; Kontaxaki, Sofia; Panopoulos, Georgios; Tomai, Eleni
Type:
Chapter
Preview:
02_chapter_03.pdf.jpg
Author(s):
Kavouras, Marinos; Darra, Athanasia; Kokla, Margarita; Kontaxaki, Sofia; Panopoulos, Georgios; Tomai, Eleni
Type:
Chapter