bn:03473121n
Noun Concept
EL
infinitary λογική
EN
An infinitary logic is a logic that allows infinitely long statements and/or infinitely long proofs. Wikipedia
Relations
Sources
HAS KIND
Wikipedia Translations