Матэматычная логіка: Розніца паміж версіямі
[недагледжаная версія] | [недагледжаная версія] |
Змесціва выдалена Змесціва дададзена
Няма тлумачэння праўкі |
Няма тлумачэння праўкі |
||
Радок 3:
Ідэя будовы універсальнай мовы для ўсёй матэматыкі была выстаўлена [[Лейбніц]]ам. Першыя навуковыя працы ў галіне матэматычнай логікі з'явіліся ў 19 ст. (гл. [[Гісторыя матэматычнай логікі]]).
[[Лагічныя злічэнні]]
|