Discover
Add filters:
Use filters to refine the search results.
Author(s):
Karakasi, Aikaterini; Spyridopoulou, Maria; Kotelides, George
Type:
Chapter
Title:
Author(s):
Spanoudakis, Konstantinos; ; Karvouni, Aikaterini-Nina; ; Litinas, Nikos
Type:
Chapter
Title:
Author(s):
Spanoudakis, Konstantinos; ; Karvouni, Aikaterini-Nina; ; Litinas, Nikos
Type:
Chapter
Title:
The logic of propositions, propositional calculus
Other title: Η λογική των προτάσεων, προτασιακός λογισμός
Other title: Η λογική των προτάσεων, προτασιακός λογισμός
Author(s):
Koletsos, Georgios
Type:
Chapter
Title:
Author(s):
Koletsos, Georgios
Type:
Chapter
Title:
Author(s):
Koletsos, Georgios
Type:
Chapter
Title:
Author(s):
Koletsos, Georgios
Type:
Chapter
Title:
Lambda calculus and proofs, Curry–Howard isomorphism
Other title: Λάμβδα λογισμός και αποδείξεις, Ισομoρφισμός Curry-Howard
Other title: Λάμβδα λογισμός και αποδείξεις, Ισομoρφισμός Curry-Howard
Author(s):
Koletsos, Georgios
Type:
Chapter