Logic | کتابکو

نتایج جستجو

برای Logic، صفحه ۲ از ۱۷۲ در بین ۴,۲۸۰ کتاب.

DJVU

From Logic Design to Logic Programming: Theorem Proving Techniques and P-Functions

From Logic Design to Logic Programming: Theorem Proving Techniques and P-Functions

Dominique Snyers, André Thayse (auth.), 1987

PDF

From Logic Design to Logic Programming: Theorem Proving Techniques and P-Functions

From Logic Design to Logic Programming: Theorem Proving Techniques and P-Functions

Dominique Snyers, André Thayse (auth.), 1987

PDF

Logic and Scientific Methods: Volume One of the Tenth International Congress of Logic, Methodology and Philosophy of Science, Florence, August 1995

Logic and Scientific Methods: Volume One of the Tenth International Congress of Logic, Methodology and Philosophy of Science, Florence, August 1995

Jen Erik Fenstad (auth.), Maria Luisa Dalla Chiara, Kees Doets, Daniele Mundici, Johan van Benthem (eds.), 1997

PDF

Historical and Philosophical Dimensions of Logic, Methodology and Philosophy of Science: Part Four of the Proceedings of the Fifth International Congress of Logic, Methodology and Philosophy of Science, London, Ontario, Canada-1975

Historical and Philosophical Dimensions of Logic, Methodology and Philosophy of Science: Part Four of the Proceedings of the Fifth International Congress of Logic, Methodology and Philosophy of Science, London, Ontario, Canada-1975

Larry Laudan (auth.), Robert E. Butts, Jaakko Hintikka (eds.), 1977

PDF

Logic, Foundations of Mathematics, and Computability Theory: Part One of the Proceedings of the Fifth International Congress of Logic, Methodology and Philosophy of Science, London, Ontario, Canada-1975

Logic, Foundations of Mathematics, and Computability Theory: Part One of the Proceedings of the Fifth International Congress of Logic, Methodology and Philosophy of Science, London, Ontario, Canada-1975

Yu. L. Ershov (auth.), Robert E. Butts, Jaakko Hintikka (eds.), 1977

DJVU

To Mock a Mockingbird and Other Logic Puzzles: Including an Amazing Adventure in Combinatory Logic

To Mock a Mockingbird and Other Logic Puzzles: Including an Amazing Adventure in Combinatory Logic

Raymond M. Smullyan, 1985

DJVU

To mock a mockingbird and other logic puzzles: Including an amazing adventure in combinatory logic

To mock a mockingbird and other logic puzzles: Including an amazing adventure in combinatory logic

Raymond M. Smullyan, 1985

PDF

To Mock a Mockingbird and Other Logic Puzzles: Including an Amazing Adventure in Combinatory Logic

To Mock a Mockingbird and Other Logic Puzzles: Including an Amazing Adventure in Combinatory Logic

Raymond M. Smullyan, 1985

DJVU

Handbook of Logic in Computer Science, vol.5: Logic and Algebraic Methods

Handbook of Logic in Computer Science, vol.5: Logic and Algebraic Methods

Samson Abramsky, Dov M Gabbay, Thomas S E Maibaum (eds.), 2001

PDF

Handbook of Logic in Computer Science, vol.5: Logic and Algebraic Methods

Handbook of Logic in Computer Science, vol.5: Logic and Algebraic Methods

Samson Abramsky, Dov M Gabbay, Thomas S E Maibaum (eds.), 2001

PDF

Handbook of Philosophical Logic. Volume I: Elements of Classical Logic

Handbook of Philosophical Logic. Volume I: Elements of Classical Logic

Dov M. Gabbay, Franz Guenthner (eds.), 1983

PDF

Classical mathematical logic : the semantic foundations of logic

Classical mathematical logic : the semantic foundations of logic

Richard L. Epstein, Leslaw W. Szczerba, 2006

PDF

⊨ISILC Logic Conference: Proceedings of the International Summer Institute and Logic Colloquium, Kiel 1974

⊨ISILC Logic Conference: Proceedings of the International Summer Institute and Logic Colloquium, Kiel 1974

Zofia Adamowicz (auth.), 1975

PDF

Lectures on Mathematical Logic Volume I Set Theoretical Logic - The Algebra of Models

Lectures on Mathematical Logic Volume I Set Theoretical Logic - The Algebra of Models

Felscher, 2000

DJVU

Advances in Contemporary Logic and Computer Science: Proceedings of the Eleventh Brazilian Conference on Mathematical Logic, May 6-10, 1996, Salvador Da Bahia, Brazil

Advances in Contemporary Logic and Computer Science: Proceedings of the Eleventh Brazilian Conference on Mathematical Logic, May 6-10, 1996, Salvador Da Bahia, Brazil

Walter A. Carnielli, 1999

PDF

In the Scope of Logic, Methodology and Philosophy of Science: Volume Two of the 11th International Congress of Logic, Methodology and Philosophy of Science, Cracow, August 1999

In the Scope of Logic, Methodology and Philosophy of Science: Volume Two of the 11th International Congress of Logic, Methodology and Philosophy of Science, Cracow, August 1999

Claude Debru (auth.), 2002

PDF

Deontic Logic in Computer Science: 7th International Workshop on Deontic Logic in Computer Science, DEON 2004, Madeira, Portugal, May 26-28, 2004. Proceedings

Deontic Logic in Computer Science: 7th International Workshop on Deontic Logic in Computer Science, DEON 2004, Madeira, Portugal, May 26-28, 2004. Proceedings

Mark A. Brown (auth.), 2004

PDF

Deontic Logic in Computer Science: 7th International Workshop on Deontic Logic in Computer Science, DEON 2004, Madeira, Portugal, May 26-28, 2004. Proceedings

Deontic Logic in Computer Science: 7th International Workshop on Deontic Logic in Computer Science, DEON 2004, Madeira, Portugal, May 26-28, 2004. Proceedings

Mark A. Brown (auth.), 2004

DJVU

Handbook of the History of Logic. Volume 01: Greek, Indian and Arabic Logic

Handbook of the History of Logic. Volume 01: Greek, Indian and Arabic Logic

Dov M. Gabbay, 2004

PDF

Handbook of the History of Logic. Volume 01: Greek, Indian and Arabic Logic

Handbook of the History of Logic. Volume 01: Greek, Indian and Arabic Logic

Dov M. Gabbay, 2004

PDF

Handbook of the History of Logic. Volume 02: Mediaeval and Renaissance Logic

Handbook of the History of Logic. Volume 02: Mediaeval and Renaissance Logic

Dov M. Gabbay, 2008

DJVU

Handbook of the History of Logic. Volume 03: The Rise of Modern Logic: From Leibniz to Frege

Handbook of the History of Logic. Volume 03: The Rise of Modern Logic: From Leibniz to Frege

Dov M. Gabbay, 2004

PDF

Handbook of the History of Logic. Volume 03: The Rise of Modern Logic: From Leibniz to Frege

Handbook of the History of Logic. Volume 03: The Rise of Modern Logic: From Leibniz to Frege

Dov M. Gabbay, 2004

PDF

Handbook of the History of Logic. Volume 04: British Logic in the Nineteenth Century

Handbook of the History of Logic. Volume 04: British Logic in the Nineteenth Century

Dov M. Gabbay, 2008

PDF

Handbook of the History of Logic. Volume 05: Logic from Russell to Church

Handbook of the History of Logic. Volume 05: Logic from Russell to Church

Dov M. Gabbay, 2009

|< ۱ ۲ ۳ ۴ ۵ ۶ ۷ >|

دانلود کتاب | کتاب ها | نرم افزارهای مفید

کتابکو چگونه کار می کند | درخواست حذف اثر | راهنمای کسب امتیاز | سیاست حفظ حریم خصوصی | سیاست ضد هرزنامه

کپی رایت ۲۰۱۴ تا ۲۰۲۵, ketabkoo.com (کتابکو) | ارتباط با ما

تمامی كالاها و خدمات این سایت، حسب مورد، دارای مجوزهای لازم از مراجع مربوطه می باشند و فعالیت‌های این سایت تابع قوانین و مقررات جمهوری اسلامی ایران است.