Alexander Birch Jensen

 

Website: https://people.compute.dtu.dk/aleje/

 

Entries

2017
January 1: First-Order Logic According to Harrison