Matematika logiko: Malsamoj inter versioj
| [nekontrolita versio] | [nekontrolita versio] |
Enhavo forigita Enhavo aldonita
e robota forigo de: no:Predikatslogikk (strong connection between (2) eo:Matematika logiko and no:Formal logikk) |
Chabi1 (diskuto | kontribuoj) Neniu resumo de redakto |
||
Linio 1:
{{Scienco}}
'''Matematika logiko''' estas disciplino de [[matematiko]], per kiu oni studas [[Formala sistemo|formalajn sistemojn]] en maniero de konceptoj de [[Matematika pruvo|pruvo]] kaj [[kalkulado]] kiel partoj de la [[fundamentoj de matematiko]].
| |||