bn:03473121n
Noun Concept
IT
logica infinitaria
EN
An infinitary logic is a logic that allows infinitely long statements and/or infinitely long proofs. Wikipedia
Relations
Sources
HAS KIND
Wikipedia Translations