Artículos relacionados a Higher-Order Logic and Type Theory (Elements in Philosophy...
- EditorialCambridge University Press
- Año de publicación2022
- ISBN 10 1108986900
- ISBN 13 9781108986908
- EncuadernaciónTapa blanda
- IdiomaInglés
- Número de páginas88
Comprar nuevo
Ver este artículo
EUR 22,23
EUR 2,33 gastos de envío en Estados Unidos de America
Destinos, gastos y plazos de envíoResultados de la búsqueda para Higher-Order Logic and Type Theory (Elements in Philosophy...
Imagen del vendedor
Higher-order Logic and Type Theory
Publicado por
Cambridge University Press, 2022
ISBN 10: 1108986900
ISBN 13: 9781108986908
Antiguo o usado
Tapa blanda
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: As New. Unread book in perfect condition. Nº de ref. del artículo: 44204957
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Higher-order Logic and Type Theory
Publicado por
Cambridge University Press, 2022
ISBN 10: 1108986900
ISBN 13: 9781108986908
Nuevo
Tapa blanda
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: 44204957-n
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Higher-Order Logic and Type Theory (Paperback or Softback)
Publicado por
Cambridge University Press 3/31/2022, 2022
ISBN 10: 1108986900
ISBN 13: 9781108986908
Nuevo
Paperback or Softback
Librería: BargainBookStores, Grand Rapids, MI, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Paperback or Softback. Condición: New. Higher-Order Logic and Type Theory 0.28. Book. Nº de ref. del artículo: BBS-9781108986908
Cantidad disponible: 5 disponibles
Imagen de archivo
Higher-Order Logic and Type Theory (Elements in Philosophy and Logic)
Publicado por
Cambridge University Press, 2022
ISBN 10: 1108986900
ISBN 13: 9781108986908
Nuevo
Tapa blanda
Librería: Lucky's Textbooks, Dallas, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: ABLIING23Mar2317530289424
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Higher-Order Logic and Type Theory (Elements in Philosophy and Logic)
Publicado por
Cambridge University Press, 2022
ISBN 10: 1108986900
ISBN 13: 9781108986908
Nuevo
Tapa blanda
Librería: California Books, Miami, FL, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: I-9781108986908
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Higher-Order Logic and Type Theory (Paperback)
Publicado por
Cambridge University Press, Cambridge, 2022
ISBN 10: 1108986900
ISBN 13: 9781108986908
Nuevo
Paperback
Librería: Grand Eagle Retail, Fairfield, OH, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Paperback. Condición: 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. Nº de ref. del artículo: 9781108986908
Cantidad disponible: 1 disponibles
Imagen de archivo
Higher-Order Logic and Type Theory
Publicado por
Cambridge University Press, 2022
ISBN 10: 1108986900
ISBN 13: 9781108986908
Nuevo
Paperback
Librería: Revaluation Books, Exeter, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Paperback. Condición: Brand New. 75 pages. 9.00x6.00x0.18 inches. In Stock. This item is printed on demand. Nº de ref. del artículo: __1108986900
Gastos de envío:
EUR 11,72
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío
Cantidad disponible: 1 disponibles
Imagen de archivo
Higher-Order Logic and Type Theory
Publicado por
Cambridge University Press, 2022
ISBN 10: 1108986900
ISBN 13: 9781108986908
Nuevo
Paperback / softback
Librería: THE SAINT BOOKSTORE, Southport, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Paperback / softback. Condición: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days 140. Nº de ref. del artículo: C9781108986908
Gastos de envío:
EUR 9,55
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Higher-Order Logic and Type Theory (Elements in Philosophy and Logic)
Publicado por
Cambridge University Press, 2022
ISBN 10: 1108986900
ISBN 13: 9781108986908
Nuevo
Paperback
Librería: Russell Books, Victoria, BC, Canada
Calificación del vendedor: 5 de 5 estrellas
Paperback. Condición: New. New. Special order direct from the distributor. Nº de ref. del artículo: ING9781108986908
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Higher-Order Logic and Type Theory (Elements in Philosophy and Logic)
Publicado por
Cambridge University Press, 2022
ISBN 10: 1108986900
ISBN 13: 9781108986908
Nuevo
Tapa blanda
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. In. Nº de ref. del artículo: ria9781108986908_new
Gastos de envío:
EUR 14,04
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío
Cantidad disponible: Más de 20 disponibles