词条 | Zeroth-order logic |
释义 |
References1. ^{{citation | last = Andrews | first = Peter B. | doi = 10.1007/978-94-015-9934-4 | edition = Second | isbn = 1-4020-0763-9 | mr = 1932484 | page = 201 | publisher = Kluwer Academic Publishers, Dordrecht | series = Applied Logic Series | title = An introduction to mathematical logic and type theory: to truth through proof | url = https://books.google.com/books?id=nV4zAsWAvT0C&pg=PA201 | volume = 27 | year = 2002}}. {{portal|Logic}}{{Logic}}2. ^1 {{citation | last = Tao | first = Terence | authorlink = Terence Tao | contribution = 1.4.2 Zeroth-order logic | doi = 10.1090/gsm/117 | isbn = 978-0-8218-5280-4 | mr = 2780010 | pages = 27–31 | publisher = American Mathematical Society, Providence, RI | title = An epsilon of room, II | url = https://books.google.com/books?id=hdm-AwAAQBAJ&pg=PA2 | year = 2010}}. 2 : Propositional calculus|Systems of formal logic |
随便看 |
|
开放百科全书收录14589846条英语、德语、日语等多语种百科知识,基本涵盖了大多数领域的百科知识,是一部内容自由、开放的电子版国际百科全书。