{"title":"John N Crossley","description":null,"products":[{"product_id":"what-is-mathematical-logic-book-john-n-crossley-9780198880875","title":"What is Mathematical Logic?","description":"\u003cp\u003eAlthough mathematical logic can be a formidably abstruse topic, even for mathematicians, this concise book presents the subject in a lively and approachable fashion. It deals with the very important ideas in modern mathematical logic without the detailed mathematical work required of those with a professional interest in logic.\u003cbr\u003eThe book begins with a historical survey of the development of mathematical logic from two parallel streams: formal deduction, which originated with Aristotle, Euclid, and others; and mathematical analysis, which dates back to Archimedes in the same era. The streams began to converge in the seventeenth century with the invention of the calculus, which ultimately brought mathematics and logic together. The authors then briefly indicate how such relatively modern concepts as set theory, G del's incompleteness theorems, the continuum hypothesis, the L wenheim-Skolem theorem, and other ideas influenced mathematical logic. \u003cbr\u003eThe ideas are set forth simply and clearly in a pleasant style, and despite the book's relative brevity, there is much covered on these pages. Nonmathematicians can read the book as a general survey; students of the subject will find it a stimulating introduction. Readers will also find suggestions for further reading in this lively and exciting area of modern mathematics.\u003c\/p\u003e","brand":"WoB","offers":[{"title":"GB \/ VERY_GOOD \/ INTERNAL","offer_id":49587133317393,"sku":"GOR004321738","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ WELL_READ \/ INTERNAL","offer_id":50981319409937,"sku":"GOR002739904","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/0198880871.jpg?v=1750737781"},{"product_id":"what-is-mathematical-logic-book-john-n-crossley-9780486264042","title":"What is Mathematical Logic?","description":"\u003cp\u003eAlthough mathematical logic can be a formidably abstruse topic, even for mathematicians, this concise book presents the subject in a lively and approachable fashion. It deals with the very important ideas in modern mathematical logic without the detailed mathematical work required of those with a professional interest in logic.\u003cbr\u003eThe book begins with a historical survey of the development of mathematical logic from two parallel streams: formal deduction, which originated with Aristotle, Euclid, and others; and mathematical analysis, which dates back to Archimedes in the same era. The streams began to converge in the seventeenth century with the invention of the calculus, which ultimately brought mathematics and logic together. The authors then briefly indicate how such relatively modern concepts as set theory, G del's incompleteness theorems, the continuum hypothesis, the L wenheim-Skolem theorem, and other ideas influenced mathematical logic. \u003cbr\u003eThe ideas are set forth simply and clearly in a pleasant style, and despite the book's relative brevity, there is much covered on these pages. Nonmathematicians can read the book as a general survey; students of the subject will find it a stimulating introduction. Readers will also find suggestions for further reading in this lively and exciting area of modern mathematics.\u003c\/p\u003e","brand":"WoB","offers":[{"title":"GB \/ GOOD \/ INTERNAL","offer_id":49663936626961,"sku":"GOR002319105","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"US \/ GOOD \/ SBYB","offer_id":49933631291665,"sku":"CIN0486264041G","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"US \/ VERY_GOOD \/ SBYB","offer_id":50419867025681,"sku":"CIN0486264041VG","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ VERY_GOOD \/ INTERNAL","offer_id":50789251645713,"sku":"GOR003631438","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/0486264041.jpg?v=1751391642"},{"product_id":"logical-methods-book-john-n-crossley-9780817636906","title":"Logical Methods","description":"The twenty-six papers in this volume reflect the wide and still expanding range of Anil Nerode's work. A conference on Logical Methods was held in honor of Nerode's sixtieth birthday (4 June 1992) at the Mathematical Sciences Institute, Cornell University, 1-3 June 1992. Some of the conference papers are here, but others are from students, co-workers and other colleagues. The intention of the conference was to look forward, and to see the directions currently being pursued, in the development of work by, or with, Nerode. Here is a brief summary of the contents of this book. We give a retrospective view of Nerode's work. A number of specific areas are readily discerned: recursive equivalence types, recursive algebra and model theory, the theory of Turing degrees and r.e. sets, polynomial-time computability and computer science. Nerode began with automata theory and has also taken a keen interest in the history of mathematics. All these areas are represented. The one area missing is Nerode's applied mathematical work relating to the environment. Kozen's paper builds on Nerode's early work on automata. Recursive equivalence types are covered by Dekker and Barback, the latter using directly a fundamental metatheorem of Nerode. Recursive algebra is treated by Ge \u0026amp; Richards (group representations). Recursive model theory is the subject of papers by Hird, Moses, and Khoussainov \u0026amp; Dadajanov, while a combinatorial problem in recursive model theory is discussed in Cherlin \u0026amp; Martin's paper. Cenzer presents a paper on recursive dynamics.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52425808150801,"sku":"NLS9780817636906","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9780817636906.jpg?v=1759155868"},{"product_id":"guy-of-saint-denis-tractatus-de-tonis-book-john-n-crossley-9781580442992","title":"Guy of Saint-Denis, Tractatus de tonis","description":"The Tractatus de tonis of Guy of Saint-Denis (written ca. 1300-10) differs from other treatises on plainchant in the depth of its analysis of the various tones into which chant was traditionally classified. Guy's treatise presents itself as a synthetic overview of both the theory and practice of plainchant in a way that combines the practical reflection of Guido of Arezzo with ideas of more Aristoteleian inspired theorists such as Johannes de Grocheio and Peter of Auvergne.","brand":"WoB","offers":[{"title":"- \/ - \/ INTERNAL","offer_id":53085591994641,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ INGRAM","offer_id":53085592387857,"sku":"NLS9781580442992","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9781580442992.jpg?v=1769996569"}],"url":"https:\/\/www.worldofbooks.com\/collections\/author-books-by-john-n-crossley.oembed","provider":"World of Books ","version":"1.0","type":"link"}