FOL 공부하시는분?

[1+1=2(lsc4719)]

https://www.ibisc.univ-evry.fr/~belardinelli/Documents/Logique/Mathematical-Logic-ChiswellHodges.pdf

ㅁㄴㅇㄹ