Importo totale (1 articolo articoli):
Destinazione ordine:
9780521356534 - Introduction to Higher-Order Categorical Logic di Lambek, J.; Scott, P. J. (25 risultati)
Vai alla pagina principale dei risultati di ricerca
Filtri di ricerca
Tipo di articolo
- Tutti i tipi di prodotto
- Libri (25)
- 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 (19)
- 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
- Tutte
- Rilegato (Nessun altro risultato corrispondente a questo perfezionamento)
- Brossura (25)
Ulteriori caratteristiche
- Prima ed. (Nessun altro risultato corrispondente a questo perfezionamento)
- Copia autograf. (Nessun altro risultato corrispondente a questo perfezionamento)
- Sovracoperta (Nessun altro risultato corrispondente a questo perfezionamento)
- Con foto (9)
- Non Print on Demand (17)
Lingua (1)
Prezzo
- Qualsiasi prezzo
- Inferiore a EUR 20 (Nessun altro risultato corrispondente a questo perfezionamento)
- EUR 20 a EUR 45
- Superiore a EUR 45
Spedizione gratuita
Paese del venditore
Valutazione venditore
-
Introduction to Higher-Order Categorical Logic (Cambridge Studies in Advanced Mathematics)
Lingua: Inglese
Editore: Cambridge University Press, 1988
ISBN 10: 0521356539 ISBN 13: 9780521356534
Paperback. Condizione: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority!
-
Introduction to Higher-Order Categorical Logic (Cambridge Studies in Advanced Mathematics, Series Number 7)
Lingua: Inglese
Editore: Cambridge University Press, 1988
ISBN 10: 0521356539 ISBN 13: 9780521356534
Da: Lavendier Books, Foster, RI, U.S.A.
Valutazione del venditore 5 su 5 stelle
paperback. Condizione: Very Good. Cambridge University Press; Cambridge, 1988. Trade paperback. A Very Good, binding sturdy and intact, some handling/scuff marks to covers, bit of cover edge/corner wear, ink check mark top half title page, crease bottom corner page 105-108, a nice and clean copy in wraps. 8vo[octavo or approx. 6 x 9], 293pp., bibliography, indexed. We pack securely and ship daily w/delivery confirmation on every book. The picture on the listing page is of the actual book for sale. Additional Scan(s) are available for any item, please inquire.Please note: Oversized books/sets MAY require additional postage then what is quoted for 2.2lb book.
-
Introduction to Higher-Order Categorical Logic
Lingua: Inglese
Editore: Cambridge University Press, 1988
ISBN 10: 0521356539 ISBN 13: 9780521356534
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 87,33
Spedizione EUR 2,28
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
-
Introduction to Higher-Order Categorical Logic
Lingua: Inglese
Editore: Cambridge University Press, 1988
ISBN 10: 0521356539 ISBN 13: 9780521356534
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 87,64
Spedizione EUR 2,28
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Introduction to Higher-Order Categorical Logic (Cambridge Studies in Advanced Mathematics, Series Number 7)
Lingua: Inglese
Editore: Cambridge University Press, 1988
ISBN 10: 0521356539 ISBN 13: 9780521356534
Da: California Books, Miami, FL, U.S.A.
Valutazione del venditore 4 su 5 stelle
EUR 91,68
Spedizione gratuita
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Introduction to Higher-Order Categorical Logic (Cambridge Studies in Advanced Mathematics, Series Number 7)
Lingua: Inglese
Editore: Cambridge University Press, 1988
ISBN 10: 0521356539 ISBN 13: 9780521356534
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 81,42
Spedizione EUR 13,88
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
Introduction to Higher-Order Categorical Logic
Lingua: Inglese
Editore: Cambridge University Press, 1988
ISBN 10: 0521356539 ISBN 13: 9780521356534
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 81,40
Spedizione EUR 17,38
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Introduction to Higher-Order Categorical Logic
Lingua: Inglese
Editore: Cambridge University Press, GB, 1988
ISBN 10: 0521356539 ISBN 13: 9780521356534
Da: Rarewaves.com USA, London, LONDO, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 101,50
Spedizione gratuita
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloPaperback. Condizione: New. Illustrated. In this book the authors reconcile two different viewpoints of the foundations of mathematics, namely mathematical logic and category theory. In Part I, they show that typed lambda-calculi, a formulation of higher order logic, and cartesian closed categories are essentially the same. In Part II, it is demonstrated that another formulation of higher order logic (intuitionistic type theories) is closely related to topos theory. Part III is devoted to recursive functions. Numerous applications of the close relationship between traditional logic and the algebraic language of category theory are given. The authors have included an introduction to category theory and develop the necessary logic as required, making the book essentially self-contained. Detailed historical references are provided throughout, and each section concludes with a set of exercises. Thus it is well-suited for graduate courses and research in mathematics and logic. Researchers in theoretical computer science, artificial intelligence and mathematical linguistics will also find this an accessible introduction to a subject of increasing application to these disciplines.
-
Introduction to Higher-Order Categorical Logic
Lingua: Inglese
Editore: Cambridge University Press, 1988
ISBN 10: 0521356539 ISBN 13: 9780521356534
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 89,26
Spedizione EUR 17,38
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
-
Introduction to Higher-Order Categorical Logic (Cambridge Studies in Advanced Mathematics, Series Number 7)
Lingua: Inglese
Editore: Cambridge University Press, 1988
ISBN 10: 0521356539 ISBN 13: 9780521356534
Paperback. Condizione: new. New Copy. Customer Service Guaranteed.
-
Introduction to Higher Order Categorical Logic (Cambridge Studies in Advanced Mathematics, 7)
Lingua: Inglese
Editore: Cambridge University Press., 1988
ISBN 10: 0521356539 ISBN 13: 9780521356534
Da: Antiquariat Bernhardt, Kassel, Germania
Valutazione del venditore 5 su 5 stelle
EUR 80,87
Spedizione EUR 49,90
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrellokartoniert kartoniert. Condizione: Sehr gut. 293 Seiten, mit Abbildungen, Zust: Gutes Exemplar. Schneller Versand und persönlicher Service - jedes Buch händisch geprüft und beschrieben - aus unserem Familienbetrieb seit über 25 Jahren. Eine Rechnung mit ausgewiesener Mehrwertsteuer liegt jeder unserer Lieferungen bei. Wir versenden mit der deutschen Post. Sprache: Englisch Gewicht in Gramm: 442.
-
Introduction to Higher-Order Categorical Logic (Cambridge Studies in Advanced Mathematics, Series Number 7)
Lingua: Inglese
Editore: Cambridge University Press, 1988
ISBN 10: 0521356539 ISBN 13: 9780521356534
Da: BennettBooksLtd, Los Angeles, CA, U.S.A.
Valutazione del venditore 5 su 5 stelle
paperback. Condizione: New. In shrink wrap. Looks like an interesting title!
-
Cambridge Studies in Advanced Mathematics: Series Number 7: Introduction to Higher-Order Categorical Logic
Lingua: Inglese
Editore: Cambridge University Press, 1988
ISBN 10: 0521356539 ISBN 13: 9780521356534
Da: Kennys Bookstore, Olney, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 145,07
Spedizione EUR 9,07
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. . 1988. Paperback. . . . . Books ship from the US and Ireland.
-
Introduction to Higher-Order Categorical Logic
Lingua: Inglese
Editore: Cambridge University Press, GB, 1988
ISBN 10: 0521356539 ISBN 13: 9780521356534
Da: Rarewaves.com UK, London, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 95,34
Spedizione EUR 75,31
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloPaperback. Condizione: New. Illustrated. In this book the authors reconcile two different viewpoints of the foundations of mathematics, namely mathematical logic and category theory. In Part I, they show that typed lambda-calculi, a formulation of higher order logic, and cartesian closed categories are essentially the same. In Part II, it is demonstrated that another formulation of higher order logic (intuitionistic type theories) is closely related to topos theory. Part III is devoted to recursive functions. Numerous applications of the close relationship between traditional logic and the algebraic language of category theory are given. The authors have included an introduction to category theory and develop the necessary logic as required, making the book essentially self-contained. Detailed historical references are provided throughout, and each section concludes with a set of exercises. Thus it is well-suited for graduate courses and research in mathematics and logic. Researchers in theoretical computer science, artificial intelligence and mathematical linguistics will also find this an accessible introduction to a subject of increasing application to these disciplines.
-
Cambridge Studies in Advanced Mathematics: Series Number 7: Introduction to Higher-Order Categorical Logic
Lingua: Inglese
Editore: Cambridge University Press, 1988
ISBN 10: 0521356539 ISBN 13: 9780521356534
Da: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlanda
Valutazione del venditore 5 su 5 stelle
EUR 167,36
Spedizione EUR 10,50
Spedito da Irlanda a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. . 1988. Paperback. . . . .
-
Introduction to Higher Order Categorical Logic
Lingua: Inglese
Editore: Cambridge University Press, 1988
ISBN 10: 0521356539 ISBN 13: 9780521356534
EUR 118,35
Spedizione EUR 62,48
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - In this book the authors reconcile two different viewpoints of the foundations of mathematics, namely mathematical logic and category theory. In Part I, they show that typed lambda-calculi, a formulation of higher order logic, and cartesian closed categories are essentially the same. In Part II, it is demonstrated that another formulation of higher order logic (intuitionistic type theories) is closely related to topos theory. Part III is devoted to recursive functions. Numerous applications of the close relationship between traditional logic and the algebraic language of category theory are given. The authors have included an introduction to category theory and develop the necessary logic as required, making the book essentially self-contained. Detailed historical references are provided throughout, and each section concludes with a set of exercises. Thus it is well-suited for graduate courses and research in mathematics and logic. Researchers in theoretical computer science, artificial intelligence and mathematical linguistics will also find this an accessible introduction to a subject of increasing application to these disciplines.
-
Introduction to Higher-Order Categorical Logic (Cambridge Studies in Advanced Mathematics)
Lingua: Inglese
Editore: Cambridge University Press, 1988
ISBN 10: 0521356539 ISBN 13: 9780521356534
Da: Mispah books, Redhill, SURRE, Regno Unito
Valutazione del venditore 4 su 5 stelle
EUR 174,23
Spedizione EUR 28,97
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
-
Introduction to Higher-Order Categorical Logic
Da: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 76,28
Spedizione EUR 11,59
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: Brand New. reprint edition. 304 pages. 9.00x6.25x0.75 inches. In Stock. This item is printed on demand.
-
Introduction to Higher-Order Categorical Logic (Paperback)
Lingua: Inglese
Editore: Cambridge University Press, Cambridge, 1988
ISBN 10: 0521356539 ISBN 13: 9780521356534
Da: Grand Eagle Retail, Bensenville, IL, U.S.A.
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: new. Paperback. In this volume, Lambek and Scott reconcile two different viewpoints of the foundations of mathematics, namely mathematical logic and category theory. In Part I, they show that typed lambda-calculi, a formulation of higher-order logic, and cartesian closed categories, are essentially the same. Part II demonstrates that another formulation of higher-order logic, (intuitionistic) type theories, is closely related to topos theory. Part III is devoted to recursive functions. Numerous applications of the close relationship between traditional logic and the algebraic language of category theory are given. The authors have included an introduction to category theory and develop the necessary logic as required, making the book essentially self-contained. Detailed historical references are provided throughout, and each section concludeds with a set of exercises. In this book the authors reconcile two different viewpoints of the foundations of mathematics, namely mathematical logic and category theory. Numerous applications of the close relationship between traditional logic and the algebraic language of category theory are given. This item is printed on demand. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
-
Introduction to Higher-Order Categorical Logic
Lingua: Inglese
Editore: Cambridge University Press, 1988
ISBN 10: 0521356539 ISBN 13: 9780521356534
Da: THE SAINT BOOKSTORE, Southport, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 81,43
Spedizione EUR 18,27
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloPaperback / softback. Condizione: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days.
-
Introduction to Higher Order Categorical Logic
Lingua: Inglese
Editore: Cambridge University Press, 1988
ISBN 10: 0521356539 ISBN 13: 9780521356534
Da: Majestic Books, Hounslow, Regno Unito
Valutazione del venditore 4 su 5 stelle
EUR 97,39
Spedizione EUR 7,53
Spedito da Regno Unito a U.S.A.Quantità: 4 disponibili
Aggiungi al carrelloCondizione: New. Print on Demand pp. 304 2:B&W 6 x 9 in or 229 x 152 mm Perfect Bound on Creme w/Gloss Lam.
-
Introduction to Higher Order Categorical Logic
Lingua: Inglese
Editore: Cambridge University Press CUP, 1988
ISBN 10: 0521356539 ISBN 13: 9780521356534
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. Print on Demand pp. 304.
-
Introduction to Higher Order Categorical Logic
Lingua: Inglese
Editore: Cambridge University Press, 1988
ISBN 10: 0521356539 ISBN 13: 9780521356534
Da: Biblios, Frankfurt am main, HESSE, Germania
Valutazione del venditore 4 su 5 stelle
EUR 97,69
Spedizione EUR 9,95
Spedito da Germania a U.S.A.Quantità: 4 disponibili
Aggiungi al carrelloCondizione: New. PRINT ON DEMAND pp. 304.
-
Introduction to Higher-Order Categorical Logic (Paperback)
Lingua: Inglese
Editore: Cambridge University Press, Cambridge, 1988
ISBN 10: 0521356539 ISBN 13: 9780521356534
Da: CitiRetail, Stevenage, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 88,30
Spedizione EUR 42,87
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: new. Paperback. In this volume, Lambek and Scott reconcile two different viewpoints of the foundations of mathematics, namely mathematical logic and category theory. In Part I, they show that typed lambda-calculi, a formulation of higher-order logic, and cartesian closed categories, are essentially the same. Part II demonstrates that another formulation of higher-order logic, (intuitionistic) type theories, is closely related to topos theory. Part III is devoted to recursive functions. Numerous applications of the close relationship between traditional logic and the algebraic language of category theory are given. The authors have included an introduction to category theory and develop the necessary logic as required, making the book essentially self-contained. Detailed historical references are provided throughout, and each section concludeds with a set of exercises. In this book the authors reconcile two different viewpoints of the foundations of mathematics, namely mathematical logic and category theory. Numerous applications of the close relationship between traditional logic and the algebraic language of category theory are given. This item is printed on demand. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability.
-
Introduction to Higher Order Categorical Logic
Lingua: Inglese
Editore: Cambridge University Press, 1988
ISBN 10: 0521356539 ISBN 13: 9780521356534
EUR 85,05
Spedizione EUR 48,99
Spedito da Germania a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. In this book the authors reconcile two different viewpoints of the foundations of mathematics, namely mathematical logic and category theory. Numerous applications of the close relationship between traditional logic and the algebraic language of category th.
