EUR 8,46
  • Alle Preisangaben inkl. MwSt.
Nur noch 14 auf Lager (mehr ist unterwegs).
Verkauf und Versand durch Amazon.
Geschenkverpackung verfügbar.
Menge:1
First-Order Logic (Dover ... ist in Ihrem Einkaufwagen hinzugefügt worden
Ihren Artikel jetzt
eintauschen und
EUR 0,15 Gutschein erhalten.
Möchten Sie verkaufen?
Zur Rückseite klappen Zur Vorderseite klappen
Anhören Wird wiedergegeben... Angehalten   Sie hören eine Probe der Audible-Audioausgabe.
Weitere Informationen
Dieses Bild anzeigen

First-Order Logic (Dover Books on Mathematics) (Englisch) Taschenbuch – April 1995


Alle 5 Formate und Ausgaben anzeigen Andere Formate und Ausgaben ausblenden
Amazon-Preis Neu ab Gebraucht ab
Taschenbuch
"Bitte wiederholen"
EUR 8,46
EUR 5,94 EUR 4,96
Lehrbuch
"Bitte wiederholen"
EUR 26,43
15 neu ab EUR 5,94 4 gebraucht ab EUR 4,96
-- Dieser Text bezieht sich auf eine andere Ausgabe: Gebundene Ausgabe.
EUR 8,46 Kostenlose Lieferung. Nur noch 14 auf Lager (mehr ist unterwegs). Verkauf und Versand durch Amazon. Geschenkverpackung verfügbar.

Wird oft zusammen gekauft

First-Order Logic (Dover Books on Mathematics) + Logic: A Very Short Introduction (Very Short Introductions)
Preis für beide: EUR 17,96

Die ausgewählten Artikel zusammen kaufen

Jeder kann Kindle Bücher lesen — selbst ohne ein Kindle-Gerät — mit der KOSTENFREIEN Kindle App für Smartphones, Tablets und Computer.


Produktinformation

  • Taschenbuch: 176 Seiten
  • Verlag: Dover Pubn Inc (April 1995)
  • Sprache: Englisch
  • ISBN-10: 0486683702
  • ISBN-13: 978-0486683706
  • Größe und/oder Gewicht: 1,3 x 14 x 21,6 cm
  • Durchschnittliche Kundenbewertung: 5.0 von 5 Sternen  Alle Rezensionen anzeigen (3 Kundenrezensionen)
  • Amazon Bestseller-Rang: Nr. 35.084 in Fremdsprachige Bücher (Siehe Top 100 in Fremdsprachige Bücher)
  • Komplettes Inhaltsverzeichnis ansehen

Mehr über den Autor

Entdecken Sie Bücher, lesen Sie über Autoren und mehr

Welche anderen Artikel kaufen Kunden, nachdem sie diesen Artikel angesehen haben?


In diesem Buch (Mehr dazu)
Nach einer anderen Ausgabe dieses Buches suchen.
Ausgewählte Seiten ansehen
Buchdeckel | Copyright | Inhaltsverzeichnis | Auszug | Stichwortverzeichnis | Rückseite
Hier reinlesen und suchen:

Kundenrezensionen

5.0 von 5 Sternen
5 Sterne
3
4 Sterne
0
3 Sterne
0
2 Sterne
0
1 Sterne
0
Alle 3 Kundenrezensionen anzeigen
Sagen Sie Ihre Meinung zu diesem Artikel

Die hilfreichsten Kundenrezensionen

9 von 10 Kunden fanden die folgende Rezension hilfreich Von Ein Kunde am 10. Juni 1999
Format: Taschenbuch
Sure, one would like Smullyan to elaborate a bit on the significance of this or that result. But if you want "just the facts (on FOL), please" this is the book for you. It begins with propositional calculus, so it is essentially prerequisite-free. A masterpiece of exposition and a very low price: if you are interested in logic, then you must buy it.
Kommentar War diese Rezension für Sie hilfreich? Ja Nein Feedback senden...
Vielen Dank für Ihr Feedback. Wenn diese Rezension unangemessen ist, informieren Sie uns bitte darüber.
Wir konnten Ihre Stimmabgabe leider nicht speichern. Bitte erneut versuchen
5 von 9 Kunden fanden die folgende Rezension hilfreich Von Ein Kunde am 25. März 2000
Format: Taschenbuch
Smullyans "First-Order Logic" is the best of its kind. Easy to read, well-writen and with yust the nesesary formalism. A small book that covers a lot of subjects of first order logic. Get it while you can.
Kommentar War diese Rezension für Sie hilfreich? Ja Nein Feedback senden...
Vielen Dank für Ihr Feedback. Wenn diese Rezension unangemessen ist, informieren Sie uns bitte darüber.
Wir konnten Ihre Stimmabgabe leider nicht speichern. Bitte erneut versuchen
0 von 6 Kunden fanden die folgende Rezension hilfreich Von LK2011 am 2. Dezember 2012
Format: Taschenbuch Verifizierter Kauf
Guten Tag, ich danke Ihnen für das gute Produkt. Gerne bestelle ich wieder bei Ihnen. Vielen Dank und bis zum nächsten Mal.
Kommentar War diese Rezension für Sie hilfreich? Ja Nein Feedback senden...
Vielen Dank für Ihr Feedback. Wenn diese Rezension unangemessen ist, informieren Sie uns bitte darüber.
Wir konnten Ihre Stimmabgabe leider nicht speichern. Bitte erneut versuchen

Die hilfreichsten Kundenrezensionen auf Amazon.com (beta)

Amazon.com: 12 Rezensionen
64 von 66 Kunden fanden die folgende Rezension hilfreich
A Stripped-Down Exposition of a Bare-bones Subject 15. Juni 2001
Von James R. Mccall - Veröffentlicht auf Amazon.com
Format: Taschenbuch Verifizierter Kauf
This is a book by a man I knew for his books of puzzles-chatty books of great originality that have fun with the paradoxical possibilities of logic. Here he is the teacher of logic, and aside from an occasional phrase, the serious mathematician. However, Smullyan's originality shines through in this book as well. He presents logic as a branch of mathematics rather than an abstraction of ordinary language. And he uses a method from the recent literature, tableaux, to build his proofs in a simple and satisfying way. He gets directly to the main result as to the provability of valid sentences using this method for both the propositional calculus and the predicate calculus.
Smullyan procedes rapidly because he makes some assumptions about the reader's knowledge. The reader must understand the difference between mathematics and meta-mathematics-that is, should be able to separate out the talking about the sentences of the system, which may contain (among other signs) the conjunction, disjunction, and negation, from the more-or-less informal arguments that prove assertions about these sentences using natural language, with its "and", "or", and "not". Moreover, the concept of "proof" is used at two levels: the particular tableau that constitutes a proof of a sentence, and the "proofs" about tableaux and other concepts of the "system".
Besides this, the reader should have a good feel for recursive definitions, which are used everywhere. Finally, this model reader should know the difference between countably-infinite sets and uncountably-infinite sets.
I knew all that, but still found the text slow going, maybe because I have been away from mathematics for decades. But there is another reason, too. Smullyan has divorced logic from its roots: logics are simply recursively-defined sets of sentences and mappings, and that is that. No discussions, ala WvO Quine, on the history or linguistic difficulties of a concept, just definition and proof. This is an abstraction of a subject which is already an abstraction. So I usually found myself trying to understand what it all meant, in other than these stark set-and-mapping terms. On the other hand, many difficulties caused by the details of historical development of the subject vanish, and the results stand-... simple, directly derived.
This is a slender Dover volume, of high quality and low cost. I would have given the book 5 stars, but for two things. The exercises are too hard, sometimes, and without answers, and the index is very poor. Still, I think the treatment is the best around for those who want to use logic as a basis for studying incompleteness or proof theory. It is not to be confused with a more full-blown treatment that also treats logic as a branch of the humanities.
37 von 38 Kunden fanden die folgende Rezension hilfreich
Great stuff. 3. März 2004
Von Jason T - Veröffentlicht auf Amazon.com
Format: Taschenbuch
First, this isn't one of Smullyan's popular puzzle books- its a serious mathematics text. Second, don't use this as your first exposure to first-order logic (note the title doesnt say "Introduction to ...")- although logically self-contained, it requires some experience to appreciate what a neat little book this is.
It's not a general mathematical logic text- there is no model theory (beyond basic Skolem-Lowenheim), incompleteness, recursion theory, or set theory. It covers tableaux (this alone is worth the price of the book), Hilbert-style axiomatic systems (briefly), sequent systems, Gentzen's Hauptsatz and Extended Hauptsatz, Craig's and Beth's theorems, and more. But the heart of the book is completeness theorems, their proofs, and closely related material such as compactness and Herbrand-like theorems. Smullyan shows there are two main approaches to completeness (analytic vs. synthetic), breaks each into stages, provides nice abstracted formulations, and usually gives several different proofs of each result. The centerpiece is his "Fundamental Theorem of Quantification Theory", a theorem associating a truth-table tautology with every valid first-order sentence (check out the amazingly slick proof of completeness for the the Hilbert-style system that this provides). Similar constructions such as magic sets are also discussed. All this forms a much more extensive and illuminating look at completeness proofs than I've seen elsewhere.
The first-order logic used in the book has no equality and no function signs. There are few exercises, most of them simple. Smullyan writes clearly and with an appropriate amount of rigor (but its not as polished as his later books). Makes a great supplement to more general-purpose introductory mathematical logic books. If you haven't seen the tableau method yet buy this book immediately. Experienced readers will appreciate the sophisticated coverage of completeness proofs.
23 von 24 Kunden fanden die folgende Rezension hilfreich
a classic 16. Februar 2002
Von Todd Ebert - Veröffentlicht auf Amazon.com
Format: Taschenbuch Verifizierter Kauf
I mainly bought this book because of the influence it has had on numerous modern-day logic texts. If you are unfamiliar with the tableaux method for structural proofs, then you will gain alot from reading this, as it provides a different perspective from the more popular Hilbert-system approach. Tableaux systems, of course, have been made popular because they are easy to program with a computer. Please see Gallier's "Logic for Computer Scientists" for more on this matter.
24 von 28 Kunden fanden die folgende Rezension hilfreich
An Oddity But a Good-ity. Wait, that's terrible. 29. Januar 2003
Von J. Wiley - Veröffentlicht auf Amazon.com
Format: Taschenbuch
The reviewer from Illinois gave a very good characterization of Smullyan's style here:
"Smullyan has divorced logic from its roots: logics are simply recursively-defined sets of sentences and mappings, and that is that. No discussions, ala WvO Quine, on the history or linguistic difficulties of a concept, just definition and proof."
Readers familiar with Smullyan's enormous talent for popular exposition may be expecting the same herein: not so. This is very much for people who have attained what medical professionals call "mathematical maturity" (which is about as difficult to attain as zen, yet perhaps amounts to little more than the ability to read VCR instruction manuals). For example, the very first section is a wiz-bang treatment of trees (not the usual graph-theoretic ones), defined in the abstract/axiomatic fashion.
Of course, people who spend perhaps way too much of their time steeped in math are attracted to treatments of just this sort.
A structural characterization in terms of sets and mappings is much more meaningful, interesting, and aesthetically pleasing to those with these unusual inclinations (compulsions?) than a characterization framed significantly by historical motivation (please understand that I'm speaking roughly here). This is why I gave a positive review. A star was witheld for the selfish reason that I'm not sure I'll find much use for such an odd treatment of model theory, the topic for which I was seeking a more mainstream treatment when I purchased this. Regrets are nonetheless few: time spent reading Smullyan is never a waste.
11 von 13 Kunden fanden die folgende Rezension hilfreich
Great as a Reference, Probably Not for True Beginners 12. Dezember 2001
Von Dino - Veröffentlicht auf Amazon.com
Format: Taschenbuch
This is an excellent reference! It has more material covered in just 155 pages than most other works address in twice as much space. I refer to it very often.
However, I doubt it would be appropriate for someone that has not previously been introduced to the material. If a truly introductory text is required, I would look elsewhere.
Waren diese Rezensionen hilfreich? Wir wollen von Ihnen hören.