Grigori mints (53 resultados)
- Tapa blanda
Librería: CONTINENTAL MEDIA & BEYOND, Ocala, FL, Estados Unidos de AmericaCONTINENTAL MEDIA & BEYOND
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Aceptable
EUR 17,78
Envío por EUR 6,06Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Condición: Used: Good. xlibrary rebound 1990 paperback vol 417 withdrawn stamp in book/ on edge of pages clean crisp pages 338 pages/// L-9.
- Tapa blanda
Librería: Better World Books, Mishawaka, IN, Estados Unidos de AmericaBetter World Books
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Aceptable
EUR 28,07
Gastos de envío gratisSe envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Condición: Good. Former library copy. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.
- Tapa dura
Librería: INDOO, Avenel, NJ, Estados Unidos de AmericaINDOO
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 44,26
Gastos de envío gratisSe envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New. Brand New.
- Tapa dura
Librería: Big River Books, Powder Springs, GA, Estados Unidos de AmericaBig River Books
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Aceptable
EUR 47,94
Envío por EUR 3,46Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Condición: good. This book is in good condition. The cover has minor creases or bends. The binding is tight and pages are intact. Some pages may have writing or highlighting.
- Tapa blanda
Librería: Kloof Booksellers & Scientia Verlag, Amsterdam, HolandaKloof Booksellers & Scientia Verlag
Contactar con el vendedorVendedor de 4 estrellasCondición: Usado - Como Nuevo
EUR 22,95
Envío por EUR 30,00Se envía de Holanda a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Condición: as new. Stanford :CSLI Publications,2003. Paperback. 128 pp. English text. Condition : as new.Includes bibliographical references and index. Condition : as new copy. ISBN 9781575864501. Keywords : .
- Tapa dura
Librería: INDOO, Avenel, NJ, Estados Unidos de AmericaINDOO
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 65,31
Gastos de envío gratisSe envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New. Brand New.
- Tapa dura
Librería: Bookmans, tucson, AZ, Estados Unidos de AmericaBookmans
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Aceptable
EUR 62,64
Envío por EUR 3,46Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Hardcover. Condición: Good. Satisfaction 100% guaranteed.
Idioma: Inglés
Editorial: The Center for the Study of Language and Information Publications, 1992
- Tapa dura
Librería: Kennys Bookshop and Art Galleries Ltd., Galway, GY, IrlandaKennys Bookshop and Art Galleries Ltd.
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 63,26
Envío por EUR 9,50Se envía de Irlanda a Estados Unidos de AmericaCantidad disponible: 15 disponibles
Condición: New. This text presents semantic and syntactic features of modal logic and illustrates them by analyses of three modal systems S5, S4 and T. The book concentrates on the logical aspects of the subject and provides philosophical motivations to show the point of the formal work. Series: Center for the Study of Language…and Information Publication Lecture Notes. Num Pages: 112 pages, Illustrations. BIC Classification: PBCD. Category: (P) Professional & Vocational. Dimension: 237 x 156 x 13. Weight in Grams: 354. . 1992. hardcover. . . . .
- Tapa blanda
Librería: Ria Christie Collections, Uxbridge, Reino UnidoRia Christie Collections
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 61,19
Envío por EUR 14,01Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New. In.
Idioma: Inglés
Editorial: The Center for the Study of Language and Information Publications, 1992
- Tapa dura
Librería: Kennys Bookstore, Olney, MD, Estados Unidos de AmericaKennys Bookstore
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 77,10
Envío por EUR 9,10Se envía dentro de Estados Unidos de AmericaCantidad disponible: 15 disponibles
Condición: New. This text presents semantic and syntactic features of modal logic and illustrates them by analyses of three modal systems S5, S4 and T. The book concentrates on the logical aspects of the subject and provides philosophical motivations to show the point of the formal work. Series: Center for the Study of Language…and Information Publication Lecture Notes. Num Pages: 112 pages, Illustrations. BIC Classification: PBCD. Category: (P) Professional & Vocational. Dimension: 237 x 156 x 13. Weight in Grams: 354. . 1992. hardcover. . . . . Books ship from the US and Ireland.
- Tapa dura
Librería: Anybook.com, Lincoln, Reino UnidoAnybook.com
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Aceptable
EUR 79,01
Envío por EUR 15,91Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Condición: Good. This is an ex-library book and may have the usual library/used-book markings inside.This book has hardback covers. In good all round condition. No dust jacket. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,450grams, ISBN:0306463946.
- Tapa dura
Librería: Kennys Bookshop and Art Galleries Ltd., Galway, GY, IrlandaKennys Bookshop and Art Galleries Ltd.
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 94,16
Envío por EUR 9,50Se envía de Irlanda a Estados Unidos de AmericaCantidad disponible: 15 disponibles
Condición: New.
- Tapa blanda
Librería: AHA-BUCH GmbH, Einbeck, AlemaniaAHA-BUCH GmbH
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 53,49
Envío por EUR 62,64Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Taschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume contains several invited papers as well as a selection of the other contributions. The conference was the first meeting of the Soviet logicians interested in com- puter science with their Western counterparts. The papers report new resu…lts and techniques in applications of deductive systems, deductive program synthesis and analysis, computer experiments in logic related fields, theorem proving and logic programming. It provides access to intensive work on computer logic both in the USSR and in Western countries.
- Tapa dura
Librería: Kennys Bookstore, Olney, MD, Estados Unidos de AmericaKennys Bookstore
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 115,19
Envío por EUR 9,10Se envía dentro de Estados Unidos de AmericaCantidad disponible: 15 disponibles
Condición: New.
- Tapa dura
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 122,22
Envío por EUR 2,29Se envía dentro de Estados Unidos de AmericaCantidad disponible: 2 disponibles
Condición: New.
- Tapa dura
Librería: BennettBooksLtd, Los Angeles, CA, Estados Unidos de AmericaBennettBooksLtd
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 118,38
Envío por EUR 6,03Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
hardcover. Condición: New. In shrink wrap. Looks like an interesting title.
- Tapa dura
Librería: PBShop.store US, Wood Dale, IL, Estados Unidos de AmericaPBShop.store US
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 127,32
Gastos de envío gratisSe envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
HRD. Condición: New. New Book. Shipped from UK. Established seller since 2000.
- Tapa dura
Librería: Basi6 International, Irving, TX, Estados Unidos de AmericaBasi6 International
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 129,04
Gastos de envío gratisSe envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: Brand New. New. Delivery takes 25-30 days. Excellent Customer Service.
- Tapa dura
Librería: PBShop.store UK, Fairford, GLOS, Reino UnidoPBShop.store UK
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 126,25
Envío por EUR 5,87Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
HRD. Condición: New. New Book. Shipped from UK. Established seller since 2000.
- Tapa blanda
Librería: Basi6 International, Irving, TX, Estados Unidos de AmericaBasi6 International
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 136,63
Gastos de envío gratisSe envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: Brand New. New. Delivery takes 25-30 days. Excellent Customer Service.
- Tapa dura
Librería: GreatBookPricesUK, Woodford Green, Reino UnidoGreatBookPricesUK
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 126,24
Envío por EUR 17,54Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Condición: New.
- Tapa dura
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Como Nuevo
EUR 145,81
Envío por EUR 2,29Se envía dentro de Estados Unidos de AmericaCantidad disponible: 2 disponibles
Condición: As New. Unread book in perfect condition.
- Tapa dura
Librería: Chiron Media, Wallingford, Reino UnidoChiron Media
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 135,84
Envío por EUR 18,12Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Hardcover. 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 141,38
Envío por EUR 14,01Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New. In.
- Tapa dura
Librería: Ria Christie Collections, Uxbridge, Reino UnidoRia Christie Collections
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 141,38
Envío por EUR 14,01Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New. In.
- Tapa dura
Librería: Speedyhen, Hertfordshire, Reino UnidoSpeedyhen
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 112,13
Envío por EUR 47,95Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Condición: NEW.
- Tapa dura
Librería: GreatBookPricesUK, Woodford Green, Reino UnidoGreatBookPricesUK
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Como Nuevo
EUR 147,39
Envío por EUR 17,54Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Condición: As New. Unread book in perfect condition.
- Tapa dura
Librería: Rarewaves.com USA, London, LONDO, Reino UnidoRarewaves.com USA
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 177,47
Gastos de envío gratisSe envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Hardback. Condición: New. 2000 ed. Intuitionistic logic is presented here as part of familiar classical logic which allows mechanical extraction of programs from proofs. to make the material more accessible, basic techniques are presented first for propositional logic; Part II contains extensions to predicate logic. This materia…l provides an introduction and a safe background for reading research literature in logic and computer science as well as advanced monographs. Readers are assumed to be familiar with basic notions of first order logic. One device for making this book short was inventing new proofs of several theorems. The presentation is based on natural deduction. The topics include programming interpretation of intuitionistic logic by simply typed lambda-calculus (Curry-Howard isomorphism), negative translation of classical into intuitionistic logic, normalization of natural deductions, applications to category theory, Kripke models, algebraic and topological semantics, proof-search methods, interpolation theorem. The text developed from materal for several courses taught at Stanford University in 1992-1999.
- Tapa dura
Librería: Books Puddle, New York, NY, Estados Unidos de AmericaBooks Puddle
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 196,60
Envío por EUR 3,46Se envía dentro de Estados Unidos de AmericaCantidad disponible: 4 disponibles
Condición: New. pp. 144.
- Tapa dura
Librería: moluna, Greven, Alemaniamoluna
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 146,63
Envío por EUR 48,99Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Condición: New. Intuitionistic logic is presented here as part of familiar classical logic which allows mechanical extraction of programs from proofs. to make the material more accessible, basic techniques are presented first for propositional logic Part II contains exten.
