| A tutorial program for propositional logic with human/computer interactive learning Recent countries visiting this post |  |
 | 12 | United States |
 | 1 | Japan |
 | 1 | Colombia |
| A tutorial program for propositional logic with human/computer interactive learning Recent countries visiting this post | |
| 12 | United States |
| 1 | Japan |
| 1 | Colombia |