Artículos relacionados a Type Theory and Formal Proof: An Introduction
Sinopsis
Type theory is a fast-evolving field at the crossroads of logic, computer science and mathematics. This gentle step-by-step introduction is ideal for graduate students and researchers who need to understand the ins and outs of the mathematical machinery, the role of logical rules therein, the essential contribution of definitions and the decisive nature of well-structured proofs. The authors begin with untyped lambda calculus and proceed to several fundamental type systems, including the well-known and powerful Calculus of Constructions. The book also covers the essence of proof checking and proof development, and the use of dependent type theory to formalise mathematics. The only prerequisite is a basic knowledge of undergraduate mathematics. Carefully chosen examples illustrate the theory throughout. Each chapter ends with a summary of the content, some historical context, suggestions for further reading and a selection of exercises to help readers familiarise themselves with the material.
"Sinopsis" puede pertenecer a otra edición de este libro.
Acerca de los autores
Rob Nederpelt was Lecturer in Logic for Computer Science until his retirement. Currently he is a guest researcher in the Faculty of Mathematics and Computer Science at Eindhoven University of Technology, The Netherlands.
Herman Geuvers is Professor in Theoretical Informatics at the Radboud University Nijmegen, and Professor in Proving with Computer Assistance at Eindhoven University of Technology, both in The Netherlands.
"Sobre este título" puede pertenecer a otra edición de este libro.
Resultados de la búsqueda para Type Theory and Formal Proof: An Introduction
Imagen de archivo
Type Theory and Formal Proof A
Publicado por
Cambridge University Press, 2014
ISBN 10: 110703650X
ISBN 13: 9781107036505
Antiguo o usado
Tapa dura
Librería: World of Books (was SecondSale), Montgomery, IL, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: Very Good. Item in very good condition! Textbooks may not include supplemental items i.e. CDs, access codes etc. Nº de ref. del artículo: 00108239708
Comprar usado
EUR 57,89
Gastos de envío gratis
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen de archivo
Type Theory and Formal Proof: An Introduction
Publicado por
Cambridge University Press (edition 1), 2014
ISBN 10: 110703650X
ISBN 13: 9781107036505
Antiguo o usado
Tapa dura
Librería: BooksRun, Philadelphia, PA, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Hardcover. Condición: Very Good. 1. It's a well-cared-for item that has seen limited use. The item may show minor signs of wear. All the text is legible, with all pages included. It may have slight markings and/or highlighting. Nº de ref. del artículo: 110703650X-11-1
Comprar usado
EUR 58,83
Gastos de envío gratis
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen del vendedor
Type Theory and Formal Proof: An Introduction
Publicado por
Cambridge University Press, 2014
ISBN 10: 110703650X
ISBN 13: 9781107036505
Antiguo o usado
Tapa dura
Librería: -OnTimeBooks-, Phoenix, AZ, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: very_good. Gently read. May have name of previous ownership, or ex-library edition. Binding tight; spine straight and smooth, with no creasing; covers clean and crisp. Minimal signs of handling or shelving. 100% GUARANTEE! Shipped with delivery confirmation, if you're not satisfied with purchase please return item! Ships USPS Media Mail. Nº de ref. del artículo: OTV.110703650X.VG
Comprar usado
EUR 61,40
Gastos de envío gratis
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen de archivo
Type Theory and Formal Proof: An Introduction
Publicado por
Cambridge University Press, 2014
ISBN 10: 110703650X
ISBN 13: 9781107036505
Antiguo o usado
Tapa dura
Librería: Brit Books, Milton Keynes, Reino Unido
Calificación del vendedor: 4 de 5 estrellas
Hardcover. Condición: Used; Very Good. ***Simply Brit*** Welcome to our online used book store, where affordability meets great quality. Dive into a world of captivating reads without breaking the bank. We take pride in offering a wide selection of used books, from classics to hidden gems, ensuring there is something for every literary palate. All orders are shipped within 24 hours and our lightning fast-delivery within 48 hours coupled with our prompt customer service ensures a smooth journey from ordering to delivery. Discover the joy of reading with us, your trusted source for affordable books that do not compromise on quality. Nº de ref. del artículo: 4446982
Comprar usado
EUR 63,83
Envío por EUR 18,63
Se envía de Reino Unido a Estados Unidos de America
Se envía de Reino Unido a Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen del vendedor
Type Theory and Formal Proof : An Introduction
Publicado por
Cambridge University Press, 2014
ISBN 10: 110703650X
ISBN 13: 9781107036505
Nuevo
Tapa dura
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: 20987177-n
Comprar nuevo
EUR 103,95
Envío por EUR 2,27
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Type Theory and Formal Proof: An Introduction
Publicado por
Cambridge University Press, 2014
ISBN 10: 110703650X
ISBN 13: 9781107036505
Nuevo
Tapa dura
Librería: California Books, Miami, FL, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
Condición: New. Nº de ref. del artículo: I-9781107036505
Comprar nuevo
EUR 106,29
Gastos de envío gratis
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Type Theory and Formal Proof: An Introduction
Publicado por
Cambridge University Press, 2014
ISBN 10: 110703650X
ISBN 13: 9781107036505
Nuevo
Tapa dura
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: ria9781107036505_new
Comprar nuevo
EUR 96,61
Envío por EUR 13,96
Se envía de Reino Unido a Estados Unidos de America
Se envía de Reino Unido a Estados Unidos de America
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Type Theory and Formal Proof : An Introduction
Publicado por
Cambridge University Press, 2014
ISBN 10: 110703650X
ISBN 13: 9781107036505
Nuevo
Tapa dura
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: 20987177-n
Comprar nuevo
EUR 96,60
Envío por EUR 17,48
Se envía de Reino Unido a Estados Unidos de America
Se envía de Reino Unido a Estados Unidos de America
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Type Theory and Formal Proof
Publicado por
Cambridge University Press, GB, 2014
ISBN 10: 110703650X
ISBN 13: 9781107036505
Nuevo
Tapa dura
Librería: Rarewaves USA, HEBRON, KY, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Hardback. Condición: New. Type theory is a fast-evolving field at the crossroads of logic, computer science and mathematics. This gentle step-by-step introduction is ideal for graduate students and researchers who need to understand the ins and outs of the mathematical machinery, the role of logical rules therein, the essential contribution of definitions and the decisive nature of well-structured proofs. The authors begin with untyped lambda calculus and proceed to several fundamental type systems, including the well-known and powerful Calculus of Constructions. The book also covers the essence of proof checking and proof development, and the use of dependent type theory to formalise mathematics. The only prerequisite is a basic knowledge of undergraduate mathematics. Carefully chosen examples illustrate the theory throughout. Each chapter ends with a summary of the content, some historical context, suggestions for further reading and a selection of exercises to help readers familiarise themselves with the material. Nº de ref. del artículo: LU-9781107036505
Comprar nuevo
EUR 114,16
Gastos de envío gratis
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Type Theory and Formal Proof
Publicado por
Cambridge University Press, GB, 2014
ISBN 10: 110703650X
ISBN 13: 9781107036505
Nuevo
Tapa dura
Librería: Rarewaves.com USA, London, LONDO, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Hardback. Condición: New. Type theory is a fast-evolving field at the crossroads of logic, computer science and mathematics. This gentle step-by-step introduction is ideal for graduate students and researchers who need to understand the ins and outs of the mathematical machinery, the role of logical rules therein, the essential contribution of definitions and the decisive nature of well-structured proofs. The authors begin with untyped lambda calculus and proceed to several fundamental type systems, including the well-known and powerful Calculus of Constructions. The book also covers the essence of proof checking and proof development, and the use of dependent type theory to formalise mathematics. The only prerequisite is a basic knowledge of undergraduate mathematics. Carefully chosen examples illustrate the theory throughout. Each chapter ends with a summary of the content, some historical context, suggestions for further reading and a selection of exercises to help readers familiarise themselves with the material. Nº de ref. del artículo: LU-9781107036505
Comprar nuevo
EUR 128,17
Gastos de envío gratis
Se envía de Reino Unido a Estados Unidos de America
Se envía de Reino Unido a Estados Unidos de America
Cantidad disponible: Más de 20 disponibles