Jump to content

«Մաթեմատիկական տրամաբանություն»–ի խմբագրումների տարբերություն

Առանց խմբագրման ամփոփման
 
No edit summary
'''Մաթեմատիկական տրամաբանությունը''' (հայտնի նաև որպես '''ձևական տրամաբանություն''') [[մաթեմատիկա]]յի ենթաբաժին է, որը խստորեն կապված է [[մաթեմատիկայի հիմնադրույթներ]]ի, [[տեսական ինֆորմատիկա]]յի և [[փիլիսոփայական տրամաբանություն| փիլիսոփայական տրամաբանության]] հետ:<ref>Undergraduate texts include Boolos, Burgess, and Jeffrey [[#CITEREFBoolosBurgessJeffrey2002|(2002)]], [[Herbert Enderton|Enderton]] [[#CITEREFEnderton2001|(2001)]], and Mendelson [[#CITEREFMendelson1997|(1997)]]. A classic graduate text by Shoenfield [[#CITEREFShoenfield2001|(2001)]] first appeared in 1967.</ref>
== Ծանոթագրություններ ==
{{ծանցանկ}}
[[Կատեգորիա:Մաթեմատիկական տրամաբանություն]]
[[ar:منطق رياضي]]
[[cs:Matematická logika]]
[[de:Mathematische Logik]]
[[en:Mathematical logic]]
[[et:Matemaatiline loogika]]
[[el:Μαθηματική λογική]]
14 209

edits