Definição recursiva da linguagem proposicional
Jump to navigation
Jump to search
- Como um conjunto indutivamente definido
[VIDEO]
- Como uma álgebra absolutamente livre
[VIDEO]