I agree that this site is using cookies. You can find further informations here.
X
Merkliste 
 1 Ergebnisse 
 
1

First-Order Logic According to Harrison:

Jensen, Alexander Birch ; Schlichtkrull, Anders ; Villadsen, Jørgen
Jensen , A B , Schlichtkrull , A & Villadsen , J 2017 , ' First-Order Logic According to Harrison ' , Archive of Formal Proofs , pp. 1-66 ..  , 2017
Link: https://orbit.dtu.dk/en/publications/f6c14f31-cace-4f0..