Importo totale (1 articolo articoli):
Destinazione ordine:
nederpelt rob (41 risultati)
Vai alla pagina principale dei risultati di ricerca
Filtri di ricerca
Tipo di articolo
- Tutti i tipi di prodotto
- Libri (41)
- Riviste e Giornali (Nessun altro risultato corrispondente a questo perfezionamento)
- Fumetti (Nessun altro risultato corrispondente a questo perfezionamento)
- Spartiti (Nessun altro risultato corrispondente a questo perfezionamento)
- Arte, Stampe e Poster (Nessun altro risultato corrispondente a questo perfezionamento)
- Fotografie (Nessun altro risultato corrispondente a questo perfezionamento)
- Mappe (Nessun altro risultato corrispondente a questo perfezionamento)
- Manoscritti e Collezionismo cartaceo (Nessun altro risultato corrispondente a questo perfezionamento)
Condizioni Maggiori informazioni
- Nuovo (35)
- Come nuovo, Ottimo o Quasi ottimo (4)
- Molto buono o Buono (2)
- Discreto o Mediocre (Nessun altro risultato corrispondente a questo perfezionamento)
- Come descritto (Nessun altro risultato corrispondente a questo perfezionamento)
Legatura
Ulteriori caratteristiche
- Prima ed. (1)
- Copia autograf. (Nessun altro risultato corrispondente a questo perfezionamento)
- Sovracoperta (Nessun altro risultato corrispondente a questo perfezionamento)
- Con foto (18)
- Non Print on Demand (28)
Lingua (2)
Spedizione gratuita
Paese del venditore
Valutazione venditore
-
Logical Reasoning: A First Course
Da: WorldofBooks, Goring-By-Sea, WS, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 20,45
Spedizione EUR 6,46
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: Very Good. The book has been read, but is in excellent condition. Pages are intact and not marred by notes or highlighting. The spine remains undamaged.
-
Logical Reasoning
Da: Rarewaves.com USA, London, LONDO, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 28,14
Spedizione gratuita
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloPaperback. Condizione: New.
-
EUR 36,93
Spedizione gratuita
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloPaperback. Condizione: New.
-
Logical Reasoning
Da: Rarewaves USA United, OSWEGO, IL, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 38,71
Spedizione EUR 43,08
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloPaperback. Condizione: New.
-
Type Theory and Formal Proof : An Introduction
Lingua: Inglese
Editore: Cambridge University Press, 2014
ISBN 10: 110703650X ISBN 13: 9781107036505
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 97,80
Spedizione EUR 2,27
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Type Theory and Formal Proof: An Introduction
Lingua: Inglese
Editore: Cambridge University Press, 2014
ISBN 10: 110703650X ISBN 13: 9781107036505
Da: California Books, Miami, FL, U.S.A.
Valutazione del venditore 4 su 5 stelle
EUR 100,28
Spedizione gratuita
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
EUR 25,37
Spedizione EUR 75,02
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloPaperback. Condizione: New.
-
Type Theory and Formal Proof: An Introduction
Lingua: Inglese
Editore: Cambridge University Press, 2014
ISBN 10: 110703650X ISBN 13: 9781107036505
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 90,16
Spedizione EUR 13,83
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
Type Theory and Formal Proof : An Introduction
Lingua: Inglese
Editore: Cambridge University Press, 2014
ISBN 10: 110703650X ISBN 13: 9781107036505
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 90,14
Spedizione EUR 17,31
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Type Theory and Formal Proof
Lingua: Inglese
Editore: Cambridge University Press, GB, 2014
ISBN 10: 110703650X ISBN 13: 9781107036505
EUR 114,37
Spedizione gratuita
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloHardback. Condizione: 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.
-
Type Theory and Formal Proof
Lingua: Inglese
Editore: Cambridge University Press, GB, 2014
ISBN 10: 110703650X ISBN 13: 9781107036505
Da: Rarewaves.com USA, London, LONDO, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 120,87
Spedizione gratuita
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloHardback. Condizione: 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.
-
A Modern Perspective on Type Theory: From its Origins until Today (Applied Logic Series, 29)
Da: BennettBooksLtd, Los Angeles, CA, U.S.A.
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: New. In shrink wrap. Looks like an interesting title!
-
Type Theory and Formal Proof: An Introduction
Da: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 136,75
Spedizione EUR 14,43
Spedito da Regno Unito a U.S.A.Quantità: 2 disponibili
Aggiungi al carrelloHardcover. Condizione: Brand New. 436 pages. 10.00x7.00x1.00 inches. In Stock.
-
Type Theory and Formal Proof
Lingua: Inglese
Editore: Cambridge University Press, GB, 2014
ISBN 10: 110703650X ISBN 13: 9781107036505
Da: Rarewaves USA United, OSWEGO, IL, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 116,93
Spedizione EUR 43,08
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloHardback. Condizione: 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.
-
A Modern Perspective on Type Theory
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. pp. 378.
-
Type Theory and Formal Proof: An Introduction
Lingua: Inglese
Editore: Cambridge University Press, 2014
ISBN 10: 110703650X ISBN 13: 9781107036505
Da: Kennys Bookstore, Olney, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 175,07
Spedizione EUR 9,05
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. A gentle introduction for graduate students and researchers in the art of formalizing mathematics on the basis of type theory. Num Pages: 490 pages, 35 b/w illus. 125 exercises. BIC Classification: UYA. Category: (P) Professional & Vocational; (U) Tertiary Education (US: College). Dimension: 254 x 177 x 29. Weight in Grams: 978. . 2014. 1st Edition. Hardcover. . . . . Books ship from the US and Ireland.
-
Type Theory and Formal Proof
Lingua: Inglese
Editore: Cambridge University Press, 2014
ISBN 10: 110703650X ISBN 13: 9781107036505
EUR 114,11
Spedizione EUR 64,89
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloBuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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.
-
Type Theory and Formal Proof : An Introduction
Lingua: Inglese
Editore: Cambridge University Press, 2014
ISBN 10: 110703650X ISBN 13: 9781107036505
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 167,60
Spedizione EUR 17,31
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
-
Type Theory and Formal Proof: An Introduction
Lingua: Inglese
Editore: Cambridge University Press, 2014
ISBN 10: 110703650X ISBN 13: 9781107036505
Da: Mispah books, Redhill, SURRE, Regno Unito
Valutazione del venditore 4 su 5 stelle
EUR 158,10
Spedizione EUR 28,85
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloHardcover. Condizione: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
-
Type Theory and Formal Proof
Lingua: Inglese
Editore: Cambridge University Press, GB, 2014
ISBN 10: 110703650X ISBN 13: 9781107036505
Da: Rarewaves.com UK, London, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 113,72
Spedizione EUR 75,02
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloHardback. Condizione: 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.
-
Type Theory and Formal Proof : An Introduction
Lingua: Inglese
Editore: Cambridge University Press, 2014
ISBN 10: 110703650X ISBN 13: 9781107036505
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 190,73
Spedizione EUR 2,27
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
-
A Modern Perspective on Type Theory: From its Origins until Today (Applied Logic Series)
Da: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 194,00
Spedizione EUR 14,43
Spedito da Regno Unito a U.S.A.Quantità: 2 disponibili
Aggiungi al carrelloPaperback. Condizione: Brand New. 371 pages. 9.25x6.10x0.85 inches. In Stock.
-
A Modern Perspective on Type Theory: From its Origins until Today (Applied Logic Series, 29)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 198,85
Spedizione EUR 13,83
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
Type Theory and Formal Proof: An Introduction
Lingua: Inglese
Editore: Cambridge University Press, 2014
ISBN 10: 110703650X ISBN 13: 9781107036505
Da: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlanda
Valutazione del venditore 5 su 5 stelle
Prima edizione
EUR 202,59
Spedizione EUR 10,50
Spedito da Irlanda a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. A gentle introduction for graduate students and researchers in the art of formalizing mathematics on the basis of type theory. Num Pages: 490 pages, 35 b/w illus. 125 exercises. BIC Classification: UYA. Category: (P) Professional & Vocational; (U) Tertiary Education (US: College). Dimension: 254 x 177 x 29. Weight in Grams: 978. . 2014. 1st Edition. Hardcover. . . . .
-
A Modern Perspective on Type Theory: From its Origins until Today (Applied Logic Series, 29)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 201,27
Spedizione EUR 13,83
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
A Modern Perspective on Type Theory
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. pp. 380.
-
A Modern Perspective on Type Theory: From its Origins until Today (Applied Logic Series)
Da: Mispah books, Redhill, SURRE, Regno Unito
Valutazione del venditore 4 su 5 stelle
EUR 244,88
Spedizione EUR 28,85
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloHardcover. Condizione: Like New. Like New. book.
-
EUR 22,00
Spedizione EUR 105,00
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloCondizione: very good. Broschiert. Sofortversand aus Deutschland. Artikel wiegt maximal 1000g. Vorsatz beschriftet. 386 Seiten. Englisches Exemplar.
-
Type Theory and Formal Proof (Hardcover)
Lingua: Inglese
Editore: Cambridge University Press, Cambridge, 2014
ISBN 10: 110703650X ISBN 13: 9781107036505
Da: Grand Eagle Retail, Bensenville, IL, U.S.A.
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: new. Hardcover. 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. Type theory is a fast-evolving field at the crossroads of logic, computer science and mathematics. This book provides a gentle step-by-step introduction in the art of formalizing mathematics on the basis of type theory. It is suitable for a broad audience, ranging from undergraduate students to researchers. This item is printed on demand. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
-
Type Theory and Formal Proof: An Introduction
Da: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 97,86
Spedizione EUR 14,43
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloHardcover. Condizione: Brand New. 436 pages. 10.00x7.00x1.00 inches. In Stock. This item is printed on demand.
