Allen L. Mann, Gabriel Sandu, Merlijn Sevenster

Independence-Friendly Logic

• Broschiertes Buch

Produktbeschreibung

A systematic introduction suitable for readers who have little familiarity with logic. Provides numerous examples and complete proofs.

---

Hinweis: Dieser Artikel kann nur an eine deutsche Lieferadresse ausgeliefert werden.

Produktdetails

• Verlag: Cambridge University Press
• Seitenzahl: 216
• Erscheinungstermin: 5. Mai 2011
• Englisch
• Abmessung: 229mm x 152mm x 13mm
• Gewicht: 358g
• ISBN-13: 9780521149341
• ISBN-10: 0521149347
• Artikelnr.: 32716323

Autorenporträt

Allen L. Mann is a Postdoctoral Researcher in the Department of Mathematics and Statistics at the University of Tampere, Finland.

Inhaltsangabe

Preface
1. Introduction
2. Game theory
3. First-order logic
4. Independence-friendly (IF) logic
5. Properties of IF logic
6. Expressive power of IF logic
7. Probabilistic IF logic
8. Further topics
References
Index.