Typo 10.2.5 - Githubissues

jkorb / KI1V13001-Inleiding-Logica

This is the source material for the course "Inleiding Logica" (KI1V13001) as taught at Utrecht University for the BSc "Kunstmatige Intelligentie"

Creative Commons Attribution 4.0 International

3 stars 16 forks source link

Closed coenvdam closed 3 years ago

coenvdam commented 3 years ago

In /tex/mainmatter/fo-tableaux.tex on line 273
[{$R(p,p)$} should be
[{R(p,p)}.