To see accurate pricing, please choose your delivery country.
 
 
United States
£ GBP
All Shops

British Wildlife

8 issues per year 84 pages per issue Subscription only

British Wildlife is the leading natural history magazine in the UK, providing essential reading for both enthusiast and professional naturalists and wildlife conservationists. Published eight times a year, British Wildlife bridges the gap between popular writing and scientific literature through a combination of long-form articles, regular columns and reports, book reviews and letters.

Subscriptions from £33 per year

Conservation Land Management

4 issues per year 44 pages per issue Subscription only

Conservation Land Management (CLM) is a quarterly magazine that is widely regarded as essential reading for all who are involved in land management for nature conservation, across the British Isles. CLM includes long-form articles, events listings, publication reviews, new product information and updates, reports of conferences and letters.

Subscriptions from £26 per year
Academic & Professional Books  Reference  Physical Sciences  Mathematics

Mathematical Logic

By: H Ebbinghaus
289 pages
Publisher: Springer Nature
Mathematical Logic
Click to have a closer look
  • Mathematical Logic ISBN: 9780387942582 Edition: 2 Hardback Nov 1996 Not in stock: Usually dispatched within 1-2 weeks
    £53.99
    #89616
Price: £53.99
About this book Customer reviews Related titles

About this book

This junior/senior level text is devoted to a study of first-order logic and its role in the foundations of mathematics: What is a proof? How can a proof be justified? To what extent can a proof be made a purely mechanical procedure? How much faith can we have in a proof that is so complex that no one can follow it through in a lifetime? The first substantial answers to these questions have only been obtained in this century. The most striking results are contained in Goedel's work: First, it is possible to give a simple set of rules that suffice to carry out all mathematical proofs; but, second, these rules are necessarily incomplete - it is impossible, for example, to prove all true statements of arithmetic. The book begins with an introduction to first-order logic, Goedel's theorem, and model theory. A second part covers extensions of first-order logic and limitations of the formal methods. The book covers several advanced topics, not commonly treated in introductory texts, such as Trachtenbrot's undecidability theorem. Fraisse's elementary equivalence, and Lindstroem's theorem on the maximality of first-order logic.

Customer Reviews

By: H Ebbinghaus
289 pages
Publisher: Springer Nature
Media reviews
...the book remains my text of choice for this type of material, and I highly recommend it to anyone teaching a first logic course at this level. - Journal of Symbolic Logic
Current promotions
New and Forthcoming BooksNHBS Moth TrapBritish Wildlife MagazineBuyers Guides