Discover
Clear all filters
Item Category
- 1079 Textbook
- 11423 Chapter
- 949 Learning Object
Status
- 1079 Final
Type
- 11423 Chapter
- 892 Undergraduate textbook
- 378 Video Clip
- 176 Image
- 96 Exercise
- 75 Postgraduate textbook
- 56 Interactive object
- 54 Slides
- 49 Simulation
- 46 Laboratory Guide
- next >
Add filters:
Use filters to refine the search results.
Results 7291-7300 of 13451 (Search time: 0.399 seconds).
Author(s):
Manolis, Georgios; Panagiotopoulos, Christos; Koliopoulos, Panagiotis
Type:
Chapter
Author(s):
Manolis, Georgios; Panagiotopoulos, Christos; Koliopoulos, Panagiotis
Type:
Chapter
Author(s):
Manolis, Georgios; Panagiotopoulos, Christos; Koliopoulos, Panagiotis
Type:
Chapter
Author(s):
Manolis, Georgios; Panagiotopoulos, Christos; Koliopoulos, Panagiotis
Type:
Chapter
Author(s):
Manolis, Georgios; Panagiotopoulos, Christos; Koliopoulos, Panagiotis
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