结果：找到“Mathematical Logic”相关内容27个，排序为按回复时间降序，搜索更多相关帖子请点击“高级”
The Development of Mathematical Logic (From Russel to Tarski)
0 个回复 - 512 次查看 The Development of Mathematical Logic (From Russel to Tarski) P Mancosu[/backcolor]，R Zach[/backcolor]，C Badesa[/backcolor]2023-4-21 13:30 - wxwpxh - IT基础
0 个回复 - 512 次查看 The Development of Mathematical Logic (From Russel to Tarski) P Mancosu[/backcolor]，R Zach[/backcolor]，C Badesa[/backcolor]2023-4-21 13:30 - wxwpxh - IT基础
Elements of Mathematical Logic_ Model Theory - G. Kreisel, J. L. Krivine
2 个回复 - 728 次查看 Elements of mathematical logic : (Model theory) (Studies in Logic and the Foundations of Mathematics) 作者：G Kreisel，JL Krivine 摘要：Review: Charles S. Pierce, Carolyn Eisele, The New Elements o ...2023-3-14 15:04 - wxwpxh - 经济金融数学专区
2 个回复 - 728 次查看 Elements of mathematical logic : (Model theory) (Studies in Logic and the Foundations of Mathematics) 作者：G Kreisel，JL Krivine 摘要：Review: Charles S. Pierce, Carolyn Eisele, The New Elements o ...2023-3-14 15:04 - wxwpxh - 经济金融数学专区
A Problem Course in Mathematical Logic-Stefan Bilaniuk
2 个回复 - 641 次查看 A Problem Course in Mathematical Logic Volume 1 - Propositional and first-order logic (1999) A Problem Course in Mathematical Logic Volume II: Computability and Incompleteness 作者：Stefan Bilaniuk ...2023-3-14 15:36 - wxwpxh - 经济金融数学专区
2 个回复 - 641 次查看 A Problem Course in Mathematical Logic Volume 1 - Propositional and first-order logic (1999) A Problem Course in Mathematical Logic Volume II: Computability and Incompleteness 作者：Stefan Bilaniuk ...2023-3-14 15:36 - wxwpxh - 经济金融数学专区
Mathematical Logic, Revised Edition-W. V. Quine
4 个回复 - 806 次查看 Mathematical Logic, Revised Edition 作者: W. V. Quine 出版社: Harvard University Press 出版年: 2003-04-10 页数: 358 定价: USD 27.95 装帧: Paperback ISBN: 97806745545112023-3-11 13:38 - wxwpxh - 经济金融数学专区
4 个回复 - 806 次查看 Mathematical Logic, Revised Edition 作者: W. V. Quine 出版社: Harvard University Press 出版年: 2003-04-10 页数: 358 定价: USD 27.95 装帧: Paperback ISBN: 97806745545112023-3-11 13:38 - wxwpxh - 经济金融数学专区
A Course on Mathematical Logic (Universitext系列)
3 个回复 - 1864 次查看 This is a short, modern, and motivated introduction to mathematical logic for upper undergraduate and beginning graduate students in mathematics and computer science. Any mathematician who is interest ...2015-5-16 01:16 - lasgpope - 量化投资
3 个回复 - 1864 次查看 This is a short, modern, and motivated introduction to mathematical logic for upper undergraduate and beginning graduate students in mathematics and computer science. Any mathematician who is interest ...2015-5-16 01:16 - lasgpope - 量化投资
【逻辑思维的发展】 Does Mathematical Study Develop Logical Thinking? (2016)
30 个回复 - 2082 次查看 Does Mathematical Study Develop Logical Thinking? Testing the Theory of Formal Discipline By (author): Matthew Inglis (Loughborough Univesity, UK), Nina Attridge (Loughborough University, UK) ...2016-11-27 05:25 - cmwei333 - 经管书评
30 个回复 - 2082 次查看 Does Mathematical Study Develop Logical Thinking? Testing the Theory of Formal Discipline By (author): Matthew Inglis (Loughborough Univesity, UK), Nina Attridge (Loughborough University, UK) ...2016-11-27 05:25 - cmwei333 - 经管书评
Mathematical Logic
0 个回复 - 688 次查看 Mathematical Logic 内容简介 · · · · · ·Assuming no previous study in logic, this informal yet rigorous text covers the material of a standard undergraduate first course in mathematical logic, ...2022-11-13 23:00 - wxwpxh - IT基础
0 个回复 - 688 次查看 Mathematical Logic 内容简介 · · · · · ·Assuming no previous study in logic, this informal yet rigorous text covers the material of a standard undergraduate first course in mathematical logic, ...2022-11-13 23:00 - wxwpxh - IT基础
Logical Methods: The Art of Thinking Abstractly and Mathematically
1 个回复 - 473 次查看 Logical Methods: The Art of Thinking Abstractly and Mathematically2021-6-25 22:28 - Nicolle - winbugs及其他软件专版
1 个回复 - 473 次查看 Logical Methods: The Art of Thinking Abstractly and Mathematically2021-6-25 22:28 - Nicolle - winbugs及其他软件专版
【经典教材系列】数理逻辑入门 A Friendly Introduction to Mathematical Logic
121 个回复 - 16179 次查看 经典教材2016年第2版，降价出售3天。如果喜欢，就请“加关注”我吧 （点击我头像下方，http://bbs.pinggu.org/z_guanzhu.php?action=add&fuid=452766）。关注成功后，查看这里即可：三步走把千本好书“一网打尽” ...2017-2-13 00:51 - wwqqer - 金融学（理论版）
121 个回复 - 16179 次查看 经典教材2016年第2版，降价出售3天。如果喜欢，就请“加关注”我吧 （点击我头像下方，http://bbs.pinggu.org/z_guanzhu.php?action=add&fuid=452766）。关注成功后，查看这里即可：三步走把千本好书“一网打尽” ...2017-2-13 00:51 - wwqqer - 金融学（理论版）
Proofs and Refutations: The Logic of Mathematical Discovery
2 个回复 - 683 次查看 【作者(必填)】 【文题(必填)】 【年份(必填)】2015 【全文链接或数据库名称(选填)】2020-5-4 10:38 - victorbian - 求助成功区
2 个回复 - 683 次查看 【作者(必填)】 【文题(必填)】 【年份(必填)】2015 【全文链接或数据库名称(选填)】2020-5-4 10:38 - victorbian - 求助成功区
A Concise Introduction to Mathematical Logic
3 个回复 - 2181 次查看 Mathematical logic developed into a broad discipline with many applications in mathematics, informatics, linguistics and philosophy. This text introduces the fundamentals of this field, and this new e ...2015-7-9 19:56 - nelsoncwlee - 金融学（理论版）
3 个回复 - 2181 次查看 Mathematical logic developed into a broad discipline with many applications in mathematics, informatics, linguistics and philosophy. This text introduces the fundamentals of this field, and this new e ...2015-7-9 19:56 - nelsoncwlee - 金融学（理论版）
Handbook of Mathematical Logic
4 个回复 - 2900 次查看 Handbook of Mathematical Logic (Studies in Logic and the Foundations of Mathematics) (Paperback)~ J. Barwise (Editor) Editorial ReviewsReview...the role of standard logic reference is fulfilled by ...2010-1-6 11:35 - wxwpxh - 微观经济学
4 个回复 - 2900 次查看 Handbook of Mathematical Logic (Studies in Logic and the Foundations of Mathematics) (Paperback)~ J. Barwise (Editor) Editorial ReviewsReview...the role of standard logic reference is fulfilled by ...2010-1-6 11:35 - wxwpxh - 微观经济学
A First Course in Mathematical Logic and Set Theory
8 个回复 - 991 次查看 A First Course in Mathematical Logic and Set Theory By 作者: Michael L. O’Leary ISBN-10 书号: 0470905883 ISBN-13 书号: 9780470905883 Edition 版本: 1 Release Finelybook 出版日期: 2015-09-08 page ...2019-2-8 21:00 - 13950050756 - 经管书评
8 个回复 - 991 次查看 A First Course in Mathematical Logic and Set Theory By 作者: Michael L. O’Leary ISBN-10 书号: 0470905883 ISBN-13 书号: 9780470905883 Edition 版本: 1 Release Finelybook 出版日期: 2015-09-08 page ...2019-2-8 21:00 - 13950050756 - 经管书评
Philosophical and Mathematical Logic
8 个回复 - 1169 次查看 Philosophical and Mathematical Logic (Springer Undergraduate Texts in Philosophy) By 作者: Harrie de Swart ISBN-10 书号: 3030032531 ISBN-13 书号: 9783030032531 Edition 版本: 1st ed. 2018 出版日期 ...2019-2-9 13:20 - 13950050756 - 经管书评
8 个回复 - 1169 次查看 Philosophical and Mathematical Logic (Springer Undergraduate Texts in Philosophy) By 作者: Harrie de Swart ISBN-10 书号: 3030032531 ISBN-13 书号: 9783030032531 Edition 版本: 1st ed. 2018 出版日期 ...2019-2-9 13:20 - 13950050756 - 经管书评
20世纪的数学逻辑MATHEMATICAL LOGIC IN THE 20TH CENTURY
5 个回复 - 937 次查看 这本珍贵的书汇集了25篇20世纪数学逻辑学家发表的重要论文，不论是观点还是结果。这些论文是由一位伟大的逻辑学家Gerald E Sacks教授挑选的。作者: Sacks, Gerald2018-12-7 16:34 - fuzujing - 金融学（理论版）
5 个回复 - 937 次查看 这本珍贵的书汇集了25篇20世纪数学逻辑学家发表的重要论文，不论是观点还是结果。这些论文是由一位伟大的逻辑学家Gerald E Sacks教授挑选的。作者: Sacks, Gerald2018-12-7 16:34 - fuzujing - 金融学（理论版）
The music or lecture of mathematical logic.
0 个回复 - 1063 次查看 re: Language is more like math because of mathematical logic, and music is more like math because of mathematical logic.2018-11-18 04:25 - fmsu_я - 校园活动区
0 个回复 - 1063 次查看 re: Language is more like math because of mathematical logic, and music is more like math because of mathematical logic.2018-11-18 04:25 - fmsu_я - 校园活动区
Once Upon A Number: The Hidden Mathematical Logic Of Stories
5 个回复 - 1242 次查看 Once Upon A Number: The Hidden Mathematical Logic Of Stories by John Allen Paulos (Author) File Size: 384 KB Print Length: 224 pages Publisher: Basic Books; New edition edition (August 4, 200 ...2016-7-9 02:41 - Enthuse - 求助成功区
5 个回复 - 1242 次查看 Once Upon A Number: The Hidden Mathematical Logic Of Stories by John Allen Paulos (Author) File Size: 384 KB Print Length: 224 pages Publisher: Basic Books; New edition edition (August 4, 200 ...2016-7-9 02:41 - Enthuse - 求助成功区
Mathematical Logic On Numbers, Sets, Structures, and Symmetry
3 个回复 - 1135 次查看 This book, presented in two parts, offers a slow introduction to mathematical logic, and several basic concepts of model theory, such as first-order definability, types, symmetries, and elementary ext ...2018-10-4 09:10 - nivastuli - 博弈论
3 个回复 - 1135 次查看 This book, presented in two parts, offers a slow introduction to mathematical logic, and several basic concepts of model theory, such as first-order definability, types, symmetries, and elementary ext ...2018-10-4 09:10 - nivastuli - 博弈论
Fundamentals of Mathematical Logic by Peter G. Hinman
9 个回复 - 830 次查看 English| ISBN: 1568812620 | PDF | 896 pages This introductory graduate text covers modern mathematical logic from propositional, first-order and infinitary logic and Gödel's Incompleteness The ...2018-4-24 11:20 - igs816 - 经管书评
9 个回复 - 830 次查看 English| ISBN: 1568812620 | PDF | 896 pages This introductory graduate text covers modern mathematical logic from propositional, first-order and infinitary logic and Gödel's Incompleteness The ...2018-4-24 11:20 - igs816 - 经管书评
Mathematical Logic for Computer Science 3rd Edition
0 个回复 - 884 次查看 364页高清 格式pdf2018-4-4 11:17 - xdfhz - Forum
0 个回复 - 884 次查看 364页高清 格式pdf2018-4-4 11:17 - xdfhz - Forum
【数学逻辑】 A Beginner's Guide to Mathematical Logic
21 个回复 - 3661 次查看 A Beginner's Guide to Mathematical Logic By: Raymond M. Smullyan Written by a creative master of mathematical logic, this introductory text combines stories of great philosophers, quotations ...2016-12-25 09:31 - cmwei333 - 金融学（理论版）
21 个回复 - 3661 次查看 A Beginner's Guide to Mathematical Logic By: Raymond M. Smullyan Written by a creative master of mathematical logic, this introductory text combines stories of great philosophers, quotations ...2016-12-25 09:31 - cmwei333 - 金融学（理论版）
【数学逻辑】 Logic Is Not Mathematical by Hartley Slater
8 个回复 - 1682 次查看 Logic Is Not Mathematical (Studies in Logic) by Hartley Slater (Author) 'Logic is not Mathematical' is a collection of the author's recently published papers. It traces a series of egregiou ...2017-1-1 16:36 - cmwei333 - 金融学（理论版）
8 个回复 - 1682 次查看 Logic Is Not Mathematical (Studies in Logic) by Hartley Slater (Author) 'Logic is not Mathematical' is a collection of the author's recently published papers. It traces a series of egregiou ...2017-1-1 16:36 - cmwei333 - 金融学（理论版）
【Springer 应用数学】 Mathematical Problems in Meteorological Modelling (2016)
16 个回复 - 2306 次查看 Mathematical Problems in Meteorological Modelling Editors: András Bátkai, Petra Csomós, István Faragó, András Horányi, Gabriella Szépszó Comprehensive overview on problems being imp ...2016-11-13 09:27 - cmwei333 - 金融学（理论版）
16 个回复 - 2306 次查看 Mathematical Problems in Meteorological Modelling Editors: András Bátkai, Petra Csomós, István Faragó, András Horányi, Gabriella Szépszó Comprehensive overview on problems being imp ...2016-11-13 09:27 - cmwei333 - 金融学（理论版）
Behavioral Decision Theory: Psychological and Mathematical Descriptions of Human
19 个回复 - 3612 次查看 Behavioral Decision Theory: Psychological and Mathematical Descriptions of Human Choice Behavior Book Description Publication Date: 12 Mar 2014 | ISBN-10: 4431545794 | ISBN-13: 978-4431545798 ...2014-7-29 21:29 - raymondso - 金融学（理论版）
19 个回复 - 3612 次查看 Behavioral Decision Theory: Psychological and Mathematical Descriptions of Human Choice Behavior Book Description Publication Date: 12 Mar 2014 | ISBN-10: 4431545794 | ISBN-13: 978-4431545798 ...2014-7-29 21:29 - raymondso - 金融学（理论版）
A First Course in Mathematical Logic and Set Theory
10 个回复 - 1869 次查看 Product Details [*]Hardcover: 464 pages [*]Publisher: Wiley (Sept. 8 2015) [*]Language: English [*]ISBN-10: 0470905883 [*]ISBN-13: 978-0470905883 [*]Product Dimensions: 16.3 x 2.8 x 24.1 cm ...2016-3-12 09:30 - Nicolle - winbugs及其他软件专版
10 个回复 - 1869 次查看 Product Details [*]Hardcover: 464 pages [*]Publisher: Wiley (Sept. 8 2015) [*]Language: English [*]ISBN-10: 0470905883 [*]ISBN-13: 978-0470905883 [*]Product Dimensions: 16.3 x 2.8 x 24.1 cm ...2016-3-12 09:30 - Nicolle - winbugs及其他软件专版
Mathematics and Mathematical Logic
0 个回复 - 955 次查看 Mathematics and Mathematical Logic2015-3-1 14:37 - richardchan001 - 休闲灌水
0 个回复 - 955 次查看 Mathematics and Mathematical Logic2015-3-1 14:37 - richardchan001 - 休闲灌水
A Course in Mathematical Logic for Mathematicians
6 个回复 - 2355 次查看 A Course in Mathematical Logic for Mathematicians (Graduate Texts in Mathematics) By Yu. I. Manin Publisher: Springer Number Of Pages: 384 Publication Date: 2009-10-30 ...2009-10-21 02:29 - wesker1999 - 经济金融数学专区
6 个回复 - 2355 次查看 A Course in Mathematical Logic for Mathematicians (Graduate Texts in Mathematics) By Yu. I. Manin Publisher: Springer Number Of Pages: 384 Publication Date: 2009-10-30 ...2009-10-21 02:29 - wesker1999 - 经济金融数学专区
