|
المنطق الرمزي : نشأته و تطوره |
||||
| APA | (1979). المنطق الرمزي : نشأته و تطوره, بيروت: دار النهضة العربية للطباعة و النشر. | ||||
| MLA | المنطق الرمزي : نشأته و تطوره. بيروت: دار النهضة العربية للطباعة و النشر, 1979. | ||||
| Harvard | 1979. المنطق الرمزي : نشأته و تطوره. دار النهضة العربية للطباعة و النشر, | ||||
| Chicago | المنطق الرمزي : نشأته و تطوره. دار النهضة العربية للطباعة و النشر, 1979. | ||||
|
فلسفة العلوم : المنطق الرياضي |
||||
| APA | (1985). فلسفة العلوم : المنطق الرياضي, بيروت: دار النهضة العربية للطباعة و النشر. | ||||
| MLA | فلسفة العلوم : المنطق الرياضي. بيروت: دار النهضة العربية للطباعة و النشر, 1985. | ||||
| Harvard | 1985. فلسفة العلوم : المنطق الرياضي. دار النهضة العربية للطباعة و النشر, | ||||
| Chicago | فلسفة العلوم : المنطق الرياضي. دار النهضة العربية للطباعة و النشر, 1985. | ||||
|
المنطق الرياضي |
||||
| APA | (1983). المنطق الرياضي, بيروت: مؤسسة الرسالة. | ||||
| MLA | المنطق الرياضي. بيروت: مؤسسة الرسالة, 1983. | ||||
| Harvard | 1983. المنطق الرياضي. مؤسسة الرسالة, | ||||
| Chicago | المنطق الرياضي. مؤسسة الرسالة, 1983. | ||||
|
المنطق الرياضي |
||||
| APA | (1979). المنطق الرياضي, بيروت: دار العلم للملايين. | ||||
| MLA | المنطق الرياضي. بيروت: دار العلم للملايين, 1979. | ||||
| Harvard | 1979. المنطق الرياضي. دار العلم للملايين, | ||||
| Chicago | المنطق الرياضي. دار العلم للملايين, 1979. | ||||
|
أصول المنطق الرياضي : (لوجستيقا - LOGISTIC) |
||||
| APA | (1984). أصول المنطق الرياضي : (لوجستيقا - LOGISTIC), بيروت: دار النهضة العربية للطباعة و النشر. | ||||
| MLA | أصول المنطق الرياضي : (لوجستيقا - LOGISTIC). بيروت: دار النهضة العربية للطباعة و النشر, 1984. | ||||
| Harvard | 1984. أصول المنطق الرياضي : (لوجستيقا - LOGISTIC). دار النهضة العربية للطباعة و النشر, | ||||
| Chicago | أصول المنطق الرياضي : (لوجستيقا - LOGISTIC). دار النهضة العربية للطباعة و النشر, 1984. | ||||
|
Logic for information technology |
||||
| APA | (1990). Logic for information technology, Chichester: John Wiley and Sons. | ||||
| MLA | Logic for information technology. Chichester: John Wiley and Sons, 1990. | ||||
| Harvard | 1990. Logic for information technology. John Wiley and Sons, | ||||
| Chicago | Logic for information technology. John Wiley and Sons, 1990. | ||||
|
How to read and do proofs : an introduction to mathematical thought processes |
||||
| APA | (1990). How to read and do proofs : an introduction to mathematical thought processes, New York: John Wiley & Sons. | ||||
| MLA | How to read and do proofs : an introduction to mathematical thought processes. New York: John Wiley & Sons, 1990. | ||||
| Harvard | 1990. How to read and do proofs : an introduction to mathematical thought processes. John Wiley & Sons, | ||||
| Chicago | How to read and do proofs : an introduction to mathematical thought processes. John Wiley & Sons, 1990. | ||||
|
Elements of the theory of computation |
||||
| APA | (1981). Elements of the theory of computation, Englewood Cliffs, New Jersey: Prentice-Hall, Inc.. | ||||
| MLA | Elements of the theory of computation. Englewood Cliffs, New Jersey: Prentice-Hall, Inc., 1981. | ||||
| Harvard | 1981. Elements of the theory of computation. Prentice-Hall, Inc., | ||||
| Chicago | Elements of the theory of computation. Prentice-Hall, Inc., 1981. | ||||
|
Logic for computer science : foundations of automatic theorem proving |
||||
| APA | (1986). Logic for computer science : foundations of automatic theorem proving, New York: John Wiley & Sons. | ||||
| MLA | Logic for computer science : foundations of automatic theorem proving. New York: John Wiley & Sons, 1986. | ||||
| Harvard | 1986. Logic for computer science : foundations of automatic theorem proving. John Wiley & Sons, | ||||
| Chicago | Logic for computer science : foundations of automatic theorem proving. John Wiley & Sons, 1986. | ||||
|
Theory of computation |
||||
| APA | (1987). Theory of computation, New York: John Wiley & Sons. | ||||
| MLA | Theory of computation. New York: John Wiley & Sons, 1987. | ||||
| Harvard | 1987. Theory of computation. John Wiley & Sons, | ||||
| Chicago | Theory of computation. John Wiley & Sons, 1987. | ||||
|
Logic for mathematicians |
||||
| APA | (1978). Logic for mathematicians, Cambridge: Cambridge University Press. | ||||
| MLA | Logic for mathematicians. Cambridge: Cambridge University Press, 1978. | ||||
| Harvard | 1978. Logic for mathematicians. Cambridge University Press, | ||||
| Chicago | Logic for mathematicians. Cambridge University Press, 1978. | ||||
|
Logic from computer science : proceedings of a workshop held November 13-17, 1989 |
||||
| APA | (1991). Logic from computer science : proceedings of a workshop held November 13-17, 1989, New York: Springer-Verlag. | ||||
| MLA | Logic from computer science : proceedings of a workshop held November 13-17, 1989. New York: Springer-Verlag, 1991. | ||||
| Harvard | 1991. Logic from computer science : proceedings of a workshop held November 13-17, 1989. Springer-Verlag, | ||||
| Chicago | Logic from computer science : proceedings of a workshop held November 13-17, 1989. Springer-Verlag, 1991. | ||||
|
Fuzzy sets and fuzzy logic : theory and applications |
||||
| APA | (1995). Fuzzy sets and fuzzy logic : theory and applications, Upper Saddle River, New Jersey: Prentice-Hall. | ||||
| MLA | Fuzzy sets and fuzzy logic : theory and applications. Upper Saddle River, New Jersey: Prentice-Hall, 1995. | ||||
| Harvard | 1995. Fuzzy sets and fuzzy logic : theory and applications. Prentice-Hall, | ||||
| Chicago | Fuzzy sets and fuzzy logic : theory and applications. Prentice-Hall, 1995. | ||||
|
logic and its applications |
||||
| APA | (1996). logic and its applications, London: Prentice-Hall. | ||||
| MLA | logic and its applications. London: Prentice-Hall, 1996. | ||||
| Harvard | 1996. logic and its applications. Prentice-Hall, | ||||
| Chicago | logic and its applications. Prentice-Hall, 1996. | ||||
|
Introduction to the theory of finite-state machines |
||||
| APA | (1962). Introduction to the theory of finite-state machines, N.Y.: McGraw-Hill. | ||||
| MLA | Introduction to the theory of finite-state machines. N.Y.: McGraw-Hill, 1962. | ||||
| Harvard | 1962. Introduction to the theory of finite-state machines. McGraw-Hill, | ||||
| Chicago | Introduction to the theory of finite-state machines. McGraw-Hill, 1962. | ||||
|
Elements of the theory of computation |
||||
| APA | (1998). Elements of the theory of computation, Upper Saddle River, New Jersey: Prentice Hall. | ||||
| MLA | Elements of the theory of computation. Upper Saddle River, New Jersey: Prentice Hall, 1998. | ||||
| Harvard | 1998. Elements of the theory of computation. Prentice Hall, | ||||
| Chicago | Elements of the theory of computation. Prentice Hall, 1998. | ||||
|
Languages and machines : an introduction to the theory of computer science |
||||
| APA | (1997). Languages and machines : an introduction to the theory of computer science , Reading, Massachusetts: Addison-Wesley. | ||||
| MLA | Languages and machines : an introduction to the theory of computer science . Reading, Massachusetts: Addison-Wesley, 1997. | ||||
| Harvard | 1997. Languages and machines : an introduction to the theory of computer science. Addison-Wesley, | ||||
| Chicago | Languages and machines : an introduction to the theory of computer science. Addison-Wesley, 1997. | ||||
|
Introduction to languages and the theory of computation |
||||
| APA | (1996). Introduction to languages and the theory of computation, New York: The McGraw - Hill Companies. | ||||
| MLA | Introduction to languages and the theory of computation. New York: The McGraw - Hill Companies, 1996. | ||||
| Harvard | 1996. Introduction to languages and the theory of computation. The McGraw - Hill Companies, | ||||
| Chicago | Introduction to languages and the theory of computation. The McGraw - Hill Companies, 1996. | ||||
|
A first course in formal language theory |
||||
| APA | (1995). A first course in formal language theory, London: McGraw-Hill Book Company. | ||||
| MLA | A first course in formal language theory. London: McGraw-Hill Book Company, 1995. | ||||
| Harvard | 1995. A first course in formal language theory. McGraw-Hill Book Company, | ||||
| Chicago | A first course in formal language theory. McGraw-Hill Book Company, 1995. | ||||
|
Introduction to the theory of computation |
||||
| APA | (1996). Introduction to the theory of computation, Boston: PWS Publishing Company. | ||||
| MLA | Introduction to the theory of computation. Boston: PWS Publishing Company, 1996. | ||||
| Harvard | 1996. Introduction to the theory of computation. PWS Publishing Company, | ||||
| Chicago | Introduction to the theory of computation. PWS Publishing Company, 1996. | ||||
|
Introduction to languages and the theory of computation |
||||
| APA | (2003). Introduction to languages and the theory of computation, Boston: McGraw-Hill. | ||||
| MLA | Introduction to languages and the theory of computation. Boston: McGraw-Hill, 2003. | ||||
| Harvard | 2003. Introduction to languages and the theory of computation. McGraw-Hill, | ||||
| Chicago | Introduction to languages and the theory of computation. McGraw-Hill, 2003. | ||||
|
الرياضيات في طرق البرهان الرياضي و المتتاليات |
||||
| APA | (2003). الرياضيات في طرق البرهان الرياضي و المتتاليات, عمان: دار صفاء للنشر و التوزيع. | ||||
| MLA | الرياضيات في طرق البرهان الرياضي و المتتاليات. عمان: دار صفاء للنشر و التوزيع, 2003. | ||||
| Harvard | 2003. الرياضيات في طرق البرهان الرياضي و المتتاليات. دار صفاء للنشر و التوزيع, | ||||
| Chicago | الرياضيات في طرق البرهان الرياضي و المتتاليات. دار صفاء للنشر و التوزيع, 2003. | ||||
|
How to read and do proofs : an introduction to mathematical thought processes |
||||
| APA | (2002). How to read and do proofs : an introduction to mathematical thought processes, New York: John Wiley & Sons, Inc.. | ||||
| MLA | How to read and do proofs : an introduction to mathematical thought processes. New York: John Wiley & Sons, Inc., 2002. | ||||
| Harvard | 2002. How to read and do proofs : an introduction to mathematical thought processes. John Wiley & Sons, Inc., | ||||
| Chicago | How to read and do proofs : an introduction to mathematical thought processes. John Wiley & Sons, Inc., 2002. | ||||
|
Elements of logic via numbers and sets |
||||
| APA | (1998). Elements of logic via numbers and sets, London: Springer. | ||||
| MLA | Elements of logic via numbers and sets. London: Springer, 1998. | ||||
| Harvard | 1998. Elements of logic via numbers and sets. Springer, | ||||
| Chicago | Elements of logic via numbers and sets. Springer, 1998. | ||||
|
مقدمة في المنطق الرمزي |
||||
| APA | (2004). مقدمة في المنطق الرمزي, القاهرة: دار قباء للطباعة و النشر و التوزيع. | ||||
| MLA | مقدمة في المنطق الرمزي. القاهرة: دار قباء للطباعة و النشر و التوزيع, 2004. | ||||
| Harvard | 2004. مقدمة في المنطق الرمزي. دار قباء للطباعة و النشر و التوزيع, | ||||
| Chicago | مقدمة في المنطق الرمزي. دار قباء للطباعة و النشر و التوزيع, 2004. | ||||
|
An introduction to mathematical reasoning : numbers, sets, and functions |
||||
| APA | (1997). An introduction to mathematical reasoning : numbers, sets, and functions , Cambridge: Cambridge University Press. | ||||
| MLA | An introduction to mathematical reasoning : numbers, sets, and functions . Cambridge: Cambridge University Press, 1997. | ||||
| Harvard | 1997. An introduction to mathematical reasoning : numbers, sets, and functions. Cambridge University Press, | ||||
| Chicago | An introduction to mathematical reasoning : numbers, sets, and functions. Cambridge University Press, 1997. | ||||
|
Introduction to the theory of computation |
||||
| APA | (2006). Introduction to the theory of computation, Boston: Thomson Course Technology. | ||||
| MLA | Introduction to the theory of computation. Boston: Thomson Course Technology, 2006. | ||||
| Harvard | 2006. Introduction to the theory of computation. Thomson Course Technology, | ||||
| Chicago | Introduction to the theory of computation. Thomson Course Technology, 2006. | ||||
|
Introduction to languages and the theory of computation |
||||
| APA | (2013 (reprint)). Introduction to languages and the theory of computation, New Delhi: Tata McGraw Hill Education. | ||||
| MLA | Introduction to languages and the theory of computation. New Delhi: Tata McGraw Hill Education, 2013 (reprint). | ||||
| Harvard | 2013 (reprint). Introduction to languages and the theory of computation. Tata McGraw Hill Education, | ||||
| Chicago | Introduction to languages and the theory of computation. Tata McGraw Hill Education, 2013 (reprint). | ||||
|
Introduction to the theory of computation |
||||
| APA | (2013). Introduction to the theory of computation, Boston,MA: Cengae Learning. | ||||
| MLA | Introduction to the theory of computation. Boston,MA: Cengae Learning, 2013. | ||||
| Harvard | 2013. Introduction to the theory of computation. Cengae Learning, | ||||
| Chicago | Introduction to the theory of computation. Cengae Learning, 2013. | ||||
|
Introduction to theory of computation |
||||
| APA | (2019). Introduction to theory of computation, Telangana: University Press. | ||||
| MLA | Introduction to theory of computation. Telangana: University Press, 2019. | ||||
| Harvard | 2019. Introduction to theory of computation. University Press, | ||||
| Chicago | Introduction to theory of computation. University Press, 2019. | ||||
|
Elementary symbolic logic |
||||
| APA | (1973). Elementary symbolic logic, New York: Holt, Rinehart and winston, Inc.. | ||||
| MLA | Elementary symbolic logic. New York: Holt, Rinehart and winston, Inc., 1973. | ||||
| Harvard | 1973. Elementary symbolic logic. Holt, Rinehart and winston, Inc., | ||||
| Chicago | Elementary symbolic logic. Holt, Rinehart and winston, Inc., 1973. | ||||