bn:03473121n
Noun Concept
Categories: Lógica não clássica
PT
lógica infinitária  lógica infinitary
PT
Uma lógica infinitária é uma lógica que permite declarações infinitamente longas e/ou provas infinitamente longas. Wikipedia
Definitions
Relations
Sources
PT
Uma lógica infinitária é uma lógica que permite declarações infinitamente longas e/ou provas infinitamente longas. Wikipedia
HAS KIND
Wikipedia
Wikidata
Wikipedia Translations