Verwandte Artikel zu Simple Type Theory: A Practical Logic for Expressing...
Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical Ideas (Computer Science Foundations and Applied Logic) - Hardcover
- VerlagBirkhäuser
- Erscheinungsdatum2023
- ISBN 10 3031211111
- ISBN 13 9783031211119
- EinbandTapa dura
- SpracheEnglisch
- Auflage1
- Anzahl der Seiten312
Neu kaufen
Diesen Artikel anzeigen
EUR 76,77
Gratis für den Versand innerhalb von/der USA
Versandziele, Kosten & DauerWeitere beliebte Ausgaben desselben Titels
Suchergebnisse für Simple Type Theory: A Practical Logic for Expressing...
Beispielbild für diese ISBN
Simple Type Theory
Anbieter: Basi6 International, Irving, TX, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Bestandsnummer des Verkäufers ABEJUNE24-14026
Anzahl: 1 verfügbar
Foto des Verkäufers
Simple Type Theory : A Practical Logic for Expressing and Reasoning About Mathematical Ideas
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Bestandsnummer des Verkäufers 45556231-n
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical Ideas (Computer Science Foundations and Applied Logic)
Anbieter: Books Puddle, New York, NY, USA
Verkäuferbewertung 4 von 5 Sternen
Zustand: New. 1st ed. 2023 edition. Bestandsnummer des Verkäufers 26396295313
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical Ideas (Computer Science Foundations and Applied Logic)
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Bestandsnummer des Verkäufers 401163086
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical Ideas (Computer Science Foundations and Applied Logic)
Anbieter: Biblios, Frankfurt am main, HESSE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Bestandsnummer des Verkäufers 18396295323
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Simple Type Theory : A Practical Logic for Expressing and Reasoning About Mathematical Ideas
Verlag:
Springer International Publishing, 2023
ISBN 10: 3031211111
ISBN 13: 9783031211119
Gebraucht
Hardcover
Anbieter: Buchpark, Trebbin, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Zustand: Sehr gut. Zustand: Sehr gut - Gepflegter, sauberer Zustand. | Seiten: 312 | Sprache: Englisch | Produktart: Bücher. Bestandsnummer des Verkäufers 41323781/2
Anzahl: 1 verfügbar
Foto des Verkäufers
Simple Type Theory : A Practical Logic for Expressing and Reasoning About Mathematical Ideas
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: As New. Unread book in perfect condition. Bestandsnummer des Verkäufers 45556231
Anzahl: Mehr als 20 verfügbar
Foto des Verkäufers
Simple Type Theory : A Practical Logic for Expressing and Reasoning About Mathematical Ideas
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Bestandsnummer des Verkäufers 45556231-n
Anzahl: Mehr als 20 verfügbar
Foto des Verkäufers
Simple Type Theory : A Practical Logic for Expressing and Reasoning About Mathematical Ideas
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: As New. Unread book in perfect condition. Bestandsnummer des Verkäufers 45556231
Anzahl: Mehr als 20 verfügbar
Foto des Verkäufers
Simple Type Theory
Verlag:
Springer International Publishing Jan 2023, 2023
ISBN 10: 3031211111
ISBN 13: 9783031211119
Neu
Hardcover
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Buch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This unique textbook, in contrast to a standard logic text, provides the reader with a logic that actually can beusedin practice to express and reason about mathematical ideas.The book is an introduction tosimple type theory, a classical higher-order version of predicate logic that extends first-order logic. It presents a practice-oriented logic calledAlonzothat is based on Alonzo Church's formulation of simple type theory known asChurch's type theory. Unlike traditional predicate logics, Alonzo admits undefined expressions. The book illustrates, using Alonzo, how simple type theory is suited ideally for reasoning about mathematical structures and constructing libraries of mathematical knowledge.Topics and features:Offers the first book-length introduction to simple type theory as a predicate logicProvides the reader with a logic that is close to mathematical practicePresents the tools needed to build libraries of mathematical knowledgeEmploys two semantics, one for mathematics and one for logicEmphasizes the model-theoretic view of predicate logicIncludes several important topics, such as definite description and theory morphisms, not usually found in standard logic textbooksAimed at students of computing and mathematics at the graduate or upper-undergraduate level, this book is also well-suited for mathematicians, computing professionals, engineers, and scientists who need apracticallogic for expressing and reasoning about mathematical ideas.William M. Farmeris a Professor in the Department of Computing and Software at McMaster University in Hamilton, Ontario, Canada. 312 pp. Englisch. Bestandsnummer des Verkäufers 9783031211119
Anzahl: 2 verfügbar