Scott lambek (14 resultados)
Toposes, Algebraic Geometry and Logic: Dalhousie University, Halifax, January 16-19, 1971 (Lecture Notes in Mathematics)
Bucur, Giraud, Goodman, Myhill, Illuise, Lambek, Scott, Tierney
- Tapa dura
Librería: Il Salvalibro, Foligno, PG, ItaliaIl Salvalibro
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Bueno
EUR 12,00
Envío por EUR 35,00Se envía de Italia a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Condición: Very Good. Volume nella sua brossura originale, 190 pagine. Buona copia, spedizione in 24 ore dalla conferma dell'ordine. Book.
- Más imágenes
- Tapa blanda
Librería: Lavendier Books, Foster, RI, Estados Unidos de AmericaLavendier Books
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Bueno
EUR 44,61
Envío por EUR 6,06Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
paperback. Condición: 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.
- Tapa blanda
Librería: California Books, Miami, FL, Estados Unidos de AmericaCalifornia Books
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 91,90
Gastos de envío gratisSe envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New.
- Tapa blanda
Librería: Ria Christie Collections, Uxbridge, Reino UnidoRia Christie Collections
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 82,13
Envío por EUR 14,00Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New. In.
- Más imágenes
- Tapa blanda
Librería: Rarewaves.com USA, London, LONDO, Reino UnidoRarewaves.com USA
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 102,43
Gastos de envío gratisSe envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Paperback. Condición: 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 Pa…rt 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.
- Tapa blanda
Librería: BennettBooksLtd, Los Angeles, CA, Estados Unidos de AmericaBennettBooksLtd
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 132,33
Envío por EUR 6,02Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
paperback. Condición: New. In shrink wrap. Looks like an interesting title.
- Más imágenes
- Tapa blanda
Librería: Rarewaves.com UK, London, Reino UnidoRarewaves.com UK
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 96,17
Envío por EUR 75,97Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Paperback. Condición: 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 Pa…rt 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.
- Tapa blanda
Librería: Mispah books, Redhill, SURRE, Reino UnidoMispah books
Contactar con el vendedorVendedor de 4 estrellasCondición: Usado - Como Nuevo
EUR 175,75
Envío por EUR 29,22Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Paperback. Condición: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
- Tapa blanda
Librería: BUCHSERVICE / ANTIQUARIAT Lars Lutzer, Wahlstedt, AlemaniaBUCHSERVICE / ANTIQUARIAT Lars Lutzer
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Bueno
EUR 299,90
Envío por EUR 39,95Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Condición: gut. Introduction to Higher-Order Categorical Logic (Cambridge Studies in Advanced Ma In englischer Sprache. pages.
- Tapa blanda
- Impresión bajo demanda
Librería: Revaluation Books, Exeter, Reino UnidoRevaluation Books
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 76,95
Envío por EUR 11,69Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Paperback. Condición: Brand New. reprint edition. 304 pages. 9.00x6.25x0.75 inches. In Stock. This item is printed on demand.
- Tapa blanda
- Impresión bajo demanda
Librería: Majestic Books, Hounslow, Reino UnidoMajestic Books
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 97,21
Envío por EUR 7,60Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 4 disponibles
Condición: 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.
- Tapa blanda
- Impresión bajo demanda
Librería: Books Puddle, New York, NY, Estados Unidos de AmericaBooks Puddle
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 103,33
Envío por EUR 3,46Se envía dentro de Estados Unidos de AmericaCantidad disponible: 4 disponibles
Condición: New. Print on Demand pp. 304.
- Tapa blanda
- Impresión bajo demanda
Librería: Biblios, frankfurt am main, HESSE, AlemaniaBiblios
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 99,40
Envío por EUR 9,95Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 4 disponibles
Condición: New. PRINT ON DEMAND pp. 304.
- Más imágenes
- Tapa blanda
- Impresión bajo demanda
Librería: moluna, Greven, Alemaniamoluna
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 85,05
Envío por EUR 48,99Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: 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 a…nd the algebraic language of category th.
