| Home |
| About |
| Submission |
| Updating Entries |
| Using Entries |
| Search |
| Statistics |
| Index |
| Download |
Jørgen Villadsen
| Website: https://people.compute.dtu.dk/jovi/ |
Entries
| 2017 |
| January 1: First-Order Logic According to Harrison |
| 2016 |
| December 7: Paraconsistency |
|
|
Jørgen Villadsen
Entries
|