حساب البناءات : دراسة تحليلية لبناءات تيري كوكاند

Other Title(s)

Constructions Calculus : (Thierry Coquand's constructions analytical study)‎

Author

أبو العلا، محمد سيد محمد

Source

حوليات آداب عين شمس

Issue

Vol. 46, Issue --- (30 Sep. 2018), pp.167-210, 44 p.

Publisher

Ain Shams University Faculty of Arts

Publication Date

2018-09-30

Country of Publication

Egypt

No. of Pages

44

Main Subjects

Literature

American Psychological Association (APA)

أبو العلا، محمد سيد محمد. 2018. حساب البناءات : دراسة تحليلية لبناءات تيري كوكاند. حوليات آداب عين شمس،مج. 46، ع. ---، ص ص. 167-210.
https://search.emarefa.net/detail/BIM-922431

Modern Language Association (MLA)

أبو العلا، محمد سيد محمد. حساب البناءات : دراسة تحليلية لبناءات تيري كوكاند. حوليات آداب عين شمس مج. 46 (تموز / أيلول 2018)، ص ص. 167-210.
https://search.emarefa.net/detail/BIM-922431

American Medical Association (AMA)

أبو العلا، محمد سيد محمد. حساب البناءات : دراسة تحليلية لبناءات تيري كوكاند. حوليات آداب عين شمس. 2018. مج. 46، ع. ---، ص ص. 167-210.
https://search.emarefa.net/detail/BIM-922431

Data Type

Journal Articles

Language

Arabic

Record ID

BIM-922431