bn:02011878n
Noun Concept
SYL
No term available
EN
System L is a natural deductive logic developed by E.J. Lemmon. Wikipedia
English:
Lemmon
Sources