Verwandte Artikel zu Higher-Order Logic and Type Theory (Elements in Philosophy...
- VerlagCambridge University Press
- Erscheinungsdatum2022
- ISBN 10 1108986900
- ISBN 13 9781108986908
- EinbandTapa blanda
- SpracheEnglisch
- Anzahl der Seiten88
Neu kaufen
Diesen Artikel anzeigen
EUR 22,23
EUR 2,33 für den Versand innerhalb von/der USA
Versandziele, Kosten & DauerSuchergebnisse für Higher-Order Logic and Type Theory (Elements in Philosophy...
Foto des Verkäufers
Higher-order Logic and Type Theory
Verlag:
Cambridge University Press, 2022
ISBN 10: 1108986900
ISBN 13: 9781108986908
Gebraucht
Softcover
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: As New. Unread book in perfect condition. Bestandsnummer des Verkäufers 44204957
Anzahl: Mehr als 20 verfügbar
Foto des Verkäufers
Higher-order Logic and Type Theory
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Bestandsnummer des Verkäufers 44204957-n
Anzahl: Mehr als 20 verfügbar
Foto des Verkäufers
Higher-Order Logic and Type Theory (Paperback or Softback)
Verlag:
Cambridge University Press 3/31/2022, 2022
ISBN 10: 1108986900
ISBN 13: 9781108986908
Neu
Paperback or Softback
Anbieter: BargainBookStores, Grand Rapids, MI, USA
Verkäuferbewertung 5 von 5 Sternen
Paperback or Softback. Zustand: New. Higher-Order Logic and Type Theory 0.28. Book. Bestandsnummer des Verkäufers BBS-9781108986908
Anzahl: 5 verfügbar
Beispielbild für diese ISBN
Higher-Order Logic and Type Theory (Elements in Philosophy and Logic)
Anbieter: Lucky's Textbooks, Dallas, TX, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Bestandsnummer des Verkäufers ABLIING23Mar2317530289424
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Higher-Order Logic and Type Theory (Elements in Philosophy and Logic)
Anbieter: California Books, Miami, FL, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Bestandsnummer des Verkäufers I-9781108986908
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Higher-Order Logic and Type Theory (Paperback)
Verlag:
Cambridge University Press, Cambridge, 2022
ISBN 10: 1108986900
ISBN 13: 9781108986908
Neu
Paperback
Anbieter: Grand Eagle Retail, Fairfield, OH, USA
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: new. Paperback. This Element is an exposition of second- and higher-order logic and type theory. It begins with a presentation of the syntax and semantics of classical second-order logic, pointing up the contrasts with first-order logic. This leads to a discussion of higher-order logic based on the concept of a type. The second Section contains an account of the origins and nature of type theory, and its relationship to set theory. Section 3 introduces Local Set Theory (also known as higher-order intuitionistic logic), an important form of type theory based on intuitionistic logic. In Section 4 number of contemporary forms of type theory are described, all of which are based on the so-called 'doctrine of propositions as types'. We conclude with an Appendix in which the semantics for Local Set Theory - based on category theory - is outlined. An exposition of second- and higher-order logic and type theory. It includes the syntax and semantics of classical second-order logic and a discussion of higher-order logic based on the concept of a type. Also explored are origins and nature of type theory, its relationship to set theory, and descriptions of contemporary forms of type theory. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. Bestandsnummer des Verkäufers 9781108986908
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Higher-Order Logic and Type Theory
Print-on-DemandAnbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: Brand New. 75 pages. 9.00x6.00x0.18 inches. In Stock. This item is printed on demand. Bestandsnummer des Verkäufers __1108986900
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Higher-Order Logic and Type Theory
Verlag:
Cambridge University Press, 2022
ISBN 10: 1108986900
ISBN 13: 9781108986908
Neu
Paperback / softback
Anbieter: THE SAINT BOOKSTORE, Southport, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Paperback / softback. Zustand: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days 140. Bestandsnummer des Verkäufers C9781108986908
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Higher-Order Logic and Type Theory (Elements in Philosophy and Logic)
Anbieter: Russell Books, Victoria, BC, Kanada
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: New. New. Special order direct from the distributor. Bestandsnummer des Verkäufers ING9781108986908
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Higher-Order Logic and Type Theory (Elements in Philosophy and Logic)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. In. Bestandsnummer des Verkäufers ria9781108986908_new
Anzahl: Mehr als 20 verfügbar