Merkzettel Warenkorb
  • Produktbild: Proof, Computation and Agency
  • Produktbild: Proof, Computation and Agency
Band 352

Proof, Computation and Agency Logic at the Crossroads

Aus der Reihe Synthese Library

158,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Lieferung nach Hause

Beschreibung

Produktdetails

Einband

Gebundene Ausgabe

Erscheinungsdatum

07.04.2011

Herausgeber

Johan van Benthem + weitere

Verlag

Springer Netherland

Seitenzahl

372

Maße (L/B/H)

24,4/16,4/2,8 cm

Gewicht

724 g

Auflage

1. Auflage

Sprache

Englisch

ISBN

978-94-007-0079-6

Beschreibung

Produktdetails

Einband

Gebundene Ausgabe

Erscheinungsdatum

07.04.2011

Herausgeber

Verlag

Springer Netherland

Seitenzahl

372

Maße (L/B/H)

24,4/16,4/2,8 cm

Gewicht

724 g

Auflage

1. Auflage

Sprache

Englisch

ISBN

978-94-007-0079-6

Herstelleradresse

Libri GmbH
Europaallee 1
36244 Bad Hersfeld
DE

Email: [email protected]

Kundinnen und Kunden meinen

0 Bewertungen

Informationen zu Bewertungen

Zur Abgabe einer Bewertung ist eine Anmeldung im Konto notwendig. Die Authentizität der Bewertungen wird von uns nicht überprüft. Wir behalten uns vor, Bewertungstexte, die unseren Richtlinien widersprechen, entsprechend zu kürzen oder zu löschen.

Die Bewertungen sind nach Format, Anzahl Sterne und Datum sortiert.

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kund*innen durch Ihre Meinung

Kundinnen und Kunden meinen

0 Bewertungen filtern
  • Produktbild: Proof, Computation and Agency
  • Produktbild: Proof, Computation and Agency
  • Foreword.- Preface.- I LOGIC TODAY: SOME REFLECTIONS.- 1. What is Mathematical Logic? A Survey; John N. Crossley.- 2. Is there a Logic of Society?; Rohit Parikh.- II LOGIC AND MATHEMATICS.- 3. What is a Proof?; John N. Crossley.- 4. A Visit to Tarski's Seminar on Elimination of Quantifiers; Wilfrid Hodges.- 5. Deductive Systems of Fuzzy Logic; Petr Hájek.- III LOGIC AND COMPUTATION.- 6. What is the Difference between Proofs and Programs?; John N. Crossley.- 7. Zero-One Laws: Thesauri and Parametric Conditions; Andreas Blass and Yuri Gurevich.- 8. Recent Developments of Feedback Coding and its Relations with Many-valued Logic; Ferdinando Cicalese and Daniele Mundici.- 9. Two Applications of Epistemic Logic in Computer Security; Ron van der Meyden.- 10. An Introduction to Quantum Computing; Noson S. Yanofsky.- IV LOGIC, AGENCY AND GAMES.- 11. Logic Games: From Tools to Models of Interaction; Johan van Benthem.- 12. Iterated Belief Revision in Dynamic Doxastic Logic; Krister Segerberg.- 13. Towards a Logical Analysis of Adjusted Winner ; Eric Pacuit.- 14. Temporal Logic with Preferences and Reasoning about Games; G. Venkatesh.- V LOGIC, LANGUAGE AND COGNITION.- 15. From Sentence Meanings to Full Semantics; Wilfrid Hodges.- 16. Some Reflections on Discrete Mathematical Models in Behavioral, Cognitive and Social Sciences; B. D. Acharya and Shalini Joshi.- VI PERSPECTIVES FROM INDIAN LOGIC.- 17. History and Development of Indian Logic: An Overview; K. Ramasubramanian.- 18. Indian Logic and Philosophy of Science: the Logic-Epistemology Link; Sundar Sarukkai.- 19. The Concept of ‘Hetvabhasa’ in Nyaya-sastra; K. Ramasubramanian.