{"title":"Richard Bornat","description":"\u003cp\u003eDelve into the world of Richard Bornat, an author celebrated for his insightful explorations of computer science. Discover books that demystify complex concepts, making them accessible to students and professionals alike. Browse now!\u003c\/p\u003e","products":[{"product_id":"understanding-and-writing-compilers-book-richard-bornat-9780333217320","title":"Understanding and Writing Compilers","description":"\u003cp\u003e\u003cb\u003eMake That Crucial, Positive First Impression\u003c\/b\u003e\u003c\/p\u003e\u003cp\u003eAnyone who's researched the marketplace knows: The path to publication begins with your query letter. If your query is weak, unfocused, or uninspired, an editor or agent won't even bother to request your article, novel manuscript, or nonfiction book proposal. But a well-crafted, compelling query sent to the right editor or agent is an essential sales tool for fiction writers and the most effective way for nonfiction writers to pre-sell your idea.\u003c\/p\u003e\u003cp\u003eIn this book, professional freelance writer and magazine editor \u003cb\u003eWendy Burt-Thomas\u003c\/b\u003e shares practical advice on how to craft persuasive letters that connect with editors and agents and ultimately generate sales for you. You'll learn how to: \u003c\/p\u003e\u003cul\u003e\n\u003cli\u003eConduct targeted research to find suitable editors and agents\u003c\/li\u003e\n\u003cli\u003eHook an editor with a tantalizing lead and shape a summary that compels editors to buy\u003c\/li\u003e\n\u003cli\u003eSelect the strongest slant for your book or article\u003c\/li\u003e\n\u003cli\u003eUse research and interview shortcuts that keep your query prep profitable\u003c\/li\u003e\n\u003cli\u003eMake your query rejection-proof by weeding out subtle mistakes that can sabotage your project\u003c\/li\u003e\n\u003cli\u003eCommunicate your author platform and sell yourself as the best writer for the subject\u003c\/li\u003e\n\u003c\/ul\u003e\u003cp\u003eComplete with dozens of sample queries–some that landed article assignments, agents, or book deals, and others that never stood a chance–this book offers you a comprehensive strategy for presenting your writing ideas in a way that will increase your chances of publication. Though the title may lead some to believe it's strictly to be shelved as a reference manual, \u003ci\u003eThe Writer's Digest Guide to Query Letters\u003c\/i\u003e is a smooth read from cover to cover.\u003c\/p\u003e","brand":"WoB","offers":[{"title":"GB \/ VERY_GOOD \/ INTERNAL","offer_id":49548673810705,"sku":"GOR000878955","price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ GOOD \/ INTERNAL","offer_id":50142587879697,"sku":"GOR001593722","price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ WELL_READ \/ INTERNAL","offer_id":51156020330769,"sku":"GOR003720901","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"US \/ WELL_READ \/ SBYB","offer_id":52103384400145,"sku":"CIN0333217322A","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/0333217322.jpg?v=1751430145"},{"product_id":"proof-and-disproof-in-formal-logic-book-richard-bornat-9780198530275","title":"Proof and Disproof in Formal Logic","description":"Proof and Disproof in Formal Logic is a lively and entertaining introduction to formal logic providing an excellent insight into how a simple logic works. Formal logic allows you to check a logical claim without considering what the claim means. This highly abstracted idea is an essential and practical part of computer science. The idea of a formal system--a collection of rules and axioms which define a universe of logical proofs--is what gives us programming languages and modern-day programming.  This book concentrates on using logic as a tool: making and using formal proofs and disproofs of particular logical claims. The logic it uses--natural deduction--is very small and very simple; working with it helps you see how large mathematical universes can be built on small foundations.  The book is divided into four parts: · Part I \"Basics\" gives an introduction to formal logic with a short history of logic and explanations of some technical words. · Part II \"Formal syntactic proof\" show you how to do calculations in a formal system where you are guided by shapes and never need to think about meaning. Your experiments are aided by Jape, which can operate as both inquisitor and oracle. · Part III \"Formal semantic disproof\" shows you how to construct mathematical counterexamples to show that proof is impossible. Jape can check the counterexamples you build. · Part IV \"Program specification and proof\" describes how to apply your logical understanding to a real computer science problem, the accurate description and verification of programs. Jape helps, as far as arithmetic allows.  Aimed at undergraduates and graduates in computer science, logic, mathematics, and philosophy, the text includes reference to and exercises based on the computer software package Jape, an interactive teaching and research tool designed and hosted by the author that is freely available on the web.","brand":"WoB","offers":[{"title":"US \/ GOOD \/ SBYB","offer_id":50345628107025,"sku":"CIN0198530277G","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/0198530277.jpg?v=1751037161"},{"product_id":"programming-from-first-principles-book-richard-bornat-9780137291045","title":"Programming from First Principles","description":null,"brand":"WoB","offers":[{"title":"GB \/ GOOD \/ INTERNAL","offer_id":50683174748433,"sku":"GOR003152515","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ VERY_GOOD \/ INTERNAL","offer_id":50776168136977,"sku":"GOR002387590","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ WELL_READ \/ INTERNAL","offer_id":52899544957201,"sku":"GOR002377137","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/0137291043.jpg?v=1751036486"},{"product_id":"proof-and-disproof-in-formal-logic-book-richard-bornat-9780198530268","title":"Proof and Disproof in Formal Logic","description":"Aimed at undergraduates and graduates in computer science, logic, mathematics, and philosophy, this text is a lively and entertaining introduction to formal logic and provides an excellent insight into how a simple logic works.","brand":"WoB","offers":[{"title":"- \/ - \/ INTERNAL","offer_id":53226697949457,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ VERY_GOOD \/ INTERNAL","offer_id":53226698178833,"sku":"GOR014815942","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9780198530268.jpg?v=1773056494"}],"url":"https:\/\/www.worldofbooks.com\/collections\/author-books-by-richard-bornat.oembed","provider":"World of Books ","version":"1.0","type":"link"}