Jukka Häkkinen | Windows Apps
- Subscribe: RSS
- Platforms: Windows Apps (3)
- Rankings: 0
- Total: 3
- Lists: 0 + 0
- Reviews: 0
- Free: 3
- Points: ¡ 1 + 9
- Videos: 0
- Paid: 0
- Discounts: 0
- Website:
Open
-
- Natural Deduction using Strict Implication
- Windows Apps: Education By: Jukka Häkkinen
- Free
- Lists: 0 + 0 Rankings: 0 Reviews: 0
- Points: 0 + 3 (3.0) Version: PC Natural Deduction for modal logic S5 only using C.I.Lewis' Strict Implication. ⥯
-
- NaturalDeduction
- Windows Apps: Education By: Jukka Häkkinen
- Free
- Lists: 0 + 0 Rankings: 0 Reviews: 0
- Points: 0 + 4 (4.0) Version: PC Proof generator and proof checker for propositional logic in "natural deduction" style. ⥯
-
- Truth Table Generator
- Windows Apps: Education By: Jukka Häkkinen
- Free
- Lists: 0 + 0 Rankings: 0 Reviews: 0
- Points: 1 + 2 (2.5) Version: PC Truth table generator. ⥯
Share
Jukka Häkkinen | Developer
Short URL: Copied!
- Share