This introductory text clearly presents three important games in logic, from the basics to the cutting edge.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Jouko Väänänen is a Professor of Mathematics at the University of Helsinki, and a Professor of Mathematical Logic and Foundations of Mathematics at the University of Amsterdam.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
Anbieter: Lavendier Books, Foster, RI, USA
hardcover. Zustand: Very Good. Cambridge University Press; Cambridge, 2011. Hardcover. Review Copy with review slip laid in. A Very Good, grey cloth binding, some handling/scuffing to boards, soiled stain mid rear board, binding sturdy and intact, bit cocked, some rubbing along board edges, without Dust wrapper. A nice, overall clean and unmarked copy. 8vo[octavo or approx. 6 x 9 inches]. 367pp., exercises, references, indexed. We pack securely and ship daily with delivery confirmation on every book. The picture on the listing page is of the actual book for sale. Additional Scan(s) are available for any item, please inquire.Please note: Oversized books/sets MAY require additional postage then what is quoted for 2.2lb book. Bestandsnummer des Verkäufers SKU1043873
Anzahl: 1 verfügbar
Anbieter: Books Puddle, New York, NY, USA
Zustand: New. pp. 380 Index. Bestandsnummer des Verkäufers 262351137
Anzahl: 1 verfügbar
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Zustand: New. pp. 380 Illus. Bestandsnummer des Verkäufers 5529598
Anzahl: 1 verfügbar
Anbieter: GreatBookPrices, Columbia, MD, USA
Zustand: New. Bestandsnummer des Verkäufers 11971287-n
Anzahl: Mehr als 20 verfügbar
Anbieter: Lucky's Textbooks, Dallas, TX, USA
Zustand: New. Bestandsnummer des Verkäufers ABLIING23Feb2416190005200
Anzahl: Mehr als 20 verfügbar
Anbieter: California Books, Miami, FL, USA
Zustand: New. Bestandsnummer des Verkäufers I-9780521518123
Anzahl: Mehr als 20 verfügbar
Anbieter: GreatBookPrices, Columbia, MD, USA
Zustand: As New. Unread book in perfect condition. Bestandsnummer des Verkäufers 11971287
Anzahl: Mehr als 20 verfügbar
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
Zustand: New. Bestandsnummer des Verkäufers 11971287-n
Anzahl: Mehr als 20 verfügbar
Anbieter: Grand Eagle Retail, Bensenville, IL, USA
Hardcover. Zustand: new. Hardcover. This gentle introduction to logic and model theory is based on a systematic use of three important games in logic: the semantic game; the EhrenfeuchtFraisse game; and the model existence game. The third game has not been isolated in the literature before but it underlies the concepts of Beth tableaux and consistency properties. Jouko Vaeaenaenen shows that these games are closely related and in turn govern the three interrelated concepts of logic: truth, elementary equivalence and proof. All three methods are developed not only for first order logic but also for infinitary logic and generalized quantifiers. Along the way, the author also proves completeness theorems for many logics, including the cofinality quantifier logic of Shelah, a fully compact extension of first order logic. With over 500 exercises this book is ideal for graduate courses, covering the basic material as well as more advanced applications. This gentle introduction makes extensive use of three important games in logic: the semantic game, the EhrenfeuchtFraisse game and the model existence game. Over 500 exercises are included and instructors will appreciate the game-theoretical presentation of basic materials as well as more advanced applications. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. Bestandsnummer des Verkäufers 9780521518123
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Hardcover. Zustand: Brand New. 1st edition. 374 pages. 9.25x6.25x1.00 inches. In Stock. This item is printed on demand. Bestandsnummer des Verkäufers __0521518121
Anzahl: 1 verfügbar