US$ 3.76
Quantity: 1 available
Add to basketSoftcover. Condition: Bon. Ehrhard, Dominique (illustrator). Edition 2016. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Edition 2016. Ammareal gives back up to 15% of this item's net price to charity organizations.
Couverture souple. Condition: Tres bon. Ehrhard, Dominique (illustrator). OUEST FRANCE collection , 2021. 1 volume format In-8 très bon.
Language: English
Published by Editions Coprur, Strasbourg,, 1997
ISBN 10: 284208022X ISBN 13: 9782842080228
Seller: FIRENZELIBRI SRL, Reggello, FI, Italy
Condition: BUONO. Strasbourg, Editions Coprur cm.14,5x23,5, pp.399, numerose ill.in bn.nt., legatura ed.cartonata, cop.fig.a col.
Language: French
Published by Editions Eyrolles, 1958
Seller: Librairie du Bassin, Bordeaux, France
Couverture souple. Condition: Bon. Histoire. 2e édition. 14x22 cm. 236 p. Broché. Bon état. Couverture légèrement défraîchie. Intérieur en bon état. in-8°.
Published by Editions Eyrolles Paris 1958., 1958
Seller: Bear Bookshop, John Greenberg, Brattleboro, VT, U.S.A.
236pp 8vo Paperback (green wrappers) (broche) TEXT IN FRENCH. TEXTE EN FRANCAIS. Covers scuffed, text margins lightly yellowed, else clean/tight: VG.
Published by Eyrolles ,, Paris,, 1957
Seller: Librairie Christian Chaboud, Bruxelles, Belgium
in-8, broché, 240 pages. Bon état.
Published by Editions de la Nouvelle Revue Critique sd, Paris
Seller: LibrairieLaLettre2, Villefranche de Lauragais, France
Broché. Condition: Etat satisfaisant. in-12 Description :256 pages Langue : français.
Published by Editions De La Nouvelle Revue Critique, 1930
Seller: Anybook.com, Lincoln, United Kingdom
US$ 37.35
Quantity: 1 available
Add to basketCondition: Fair. This is an ex-library book and may have the usual library/used-book markings inside.This book has soft covers. In fair condition, suitable as a study copy. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,300grams, ISBN:
Condition: fine. Ehrhard, Dominique (illustrator). très bon état. Optez pour nos livres d'occasion en très bon état, et soutenez l'insertion sociale et l'écologie en leur offrant une seconde vie. 268333-2 - Contes de Bretagne, Markale, Jean, OUEST FRANCE, 2002.
.- París. s. f. Editions de la Nouvelle Revue Critique. 8ş. 247 p. Rústica editorial . . Literatura Extranjera, Idiomas - Francés, . . .
Language: English
Published by Cambridge University Press, 2004
ISBN 10: 0521608570 ISBN 13: 9780521608572
Seller: California Books, Miami, FL, U.S.A.
Condition: New.
Condition: Très bon. Ehrhard, Dominique (illustrator). Merci, votre achat aide à financer des programmes de lutte contre l'illettrisme.
Published by Nouvelle Revue Critique., Paris., 1930
Seller: Libreria M. T. Cicerone, Roma, RM, Italy
In 16°, br., pp. 256.
Language: English
Published by Cambridge University Press, 2004
ISBN 10: 0521608570 ISBN 13: 9780521608572
Seller: Ria Christie Collections, Uxbridge, United Kingdom
US$ 133.03
Quantity: Over 20 available
Add to basketCondition: New. In.
Language: English
Published by Cambridge University Press 2004-11-18, 2004
ISBN 10: 0521608570 ISBN 13: 9780521608572
Seller: Chiron Media, Wallingford, United Kingdom
US$ 131.27
Quantity: 10 available
Add to basketPaperback. Condition: New.
Language: English
Published by Cambridge University Press, 2004
ISBN 10: 0521608570 ISBN 13: 9780521608572
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Ireland
US$ 156.39
Quantity: Over 20 available
Add to basketCondition: New. This book illustrates linear logic in the application of proof theory to computer science. Editor(s): Ruet, Paul; Ehrhard, Thomas; Girard, Jean-Yves; Scott, Philip. Series: London Mathematical Society Lecture Note Series. Num Pages: 392 pages, 75 exercises. BIC Classification: PBCD. Category: (P) Professional & Vocational. Dimension: 228 x 152 x 20. Weight in Grams: 520. . 2004. Illustrated. paperback. . . . .
Seller: Revaluation Books, Exeter, United Kingdom
US$ 171.08
Quantity: 2 available
Add to basketPaperback. Condition: Brand New. 381 pages. 9.00x6.00x0.50 inches. In Stock.
Language: English
Published by Cambridge University Press CUP, 2004
ISBN 10: 0521608570 ISBN 13: 9780521608572
Seller: Books Puddle, New York, NY, U.S.A.
Condition: New. pp. x + 381.
Language: English
Published by Cambridge University Press, 2004
ISBN 10: 0521608570 ISBN 13: 9780521608572
Seller: Kennys Bookstore, Olney, MD, U.S.A.
Condition: New. This book illustrates linear logic in the application of proof theory to computer science. Editor(s): Ruet, Paul; Ehrhard, Thomas; Girard, Jean-Yves; Scott, Philip. Series: London Mathematical Society Lecture Note Series. Num Pages: 392 pages, 75 exercises. BIC Classification: PBCD. Category: (P) Professional & Vocational. Dimension: 228 x 152 x 20. Weight in Grams: 520. . 2004. Illustrated. paperback. . . . . Books ship from the US and Ireland.
Language: English
Published by Cambridge University Press, 2004
ISBN 10: 0521608570 ISBN 13: 9780521608572
Seller: AHA-BUCH GmbH, Einbeck, Germany
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - Linear Logic is a branch of proof theory which provides refined tools for the study of the computational aspects of proofs. These tools include a duality-based categorical semantics, an intrinsic graphical representation of proofs, the introduction of well-behaved non-commutative logical connectives, and the concepts of polarity and focalisation. These various aspects are illustrated here through introductory tutorials as well as more specialised contributions, with a particular emphasis on applications to computer science: denotational semantics, lambda-calculus, logic programming and concurrency theory. The volume is rounded-off by two invited contributions on new topics rooted in recent developments of linear logic. The book derives from a summer school that was the climax of the EU Training and Mobility of Researchers project 'Linear Logic in Computer Science'. It is an excellent introduction to some of the most active research topics in the area.
Couverture souple. Condition: bon. R260144011: NON DATE. In-12. Broché. Etat du neuf, Couv. légèrement passée, Dos fané, Intérieur frais. 256 pages. . . . Classification Dewey : 840-Littératures des langues romanes. Littérature française.
Language: English
Published by Cambridge University Press, 2004
ISBN 10: 0521608570 ISBN 13: 9780521608572
Seller: Mispah books, Redhill, SURRE, United Kingdom
US$ 249.03
Quantity: 1 available
Add to basketPaperback. Condition: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
Couverture souple. Condition: bon. RO80069381: Non daté. In-12. Broché. Bon état, Couv. légèrement passée, Dos satisfaisant, Non coupé. 256 pages. . . . Classification Dewey : 809-Histoire, littérature.
Couverture souple. Condition: bon. R200100053: 1958. In-8. Broché. Etat d'usage, Couv. défraîchie, Dos satisfaisant, Papier jauni. 256 pages. . . . Classification Dewey : 320-Science politique.
Couverture souple. Condition: bon. RO80185284: 1959. In-12. Broché. Etat d'usage, Couv. défraîchie, Dos satisfaisant, Quelques rousseurs. 176 Pages. Quelques rousseurs sans conséquence pour la lecture. 1 Ex dono sur la page de titre. . . . Classification Dewey : 848-Ecrits divers, citations, journaux intimes, souvenirs, mémoires.
Couverture souple. Condition: bon. R150176814: 30 OCTOBRE 1957. In-8. Broché. Etat d'usage, Couv. légèrement passée, Dos plié, Intérieur acceptable. 236 pages. Couverture rempliée. . . . Classification Dewey : 840-Littératures des langues romanes. Littérature française.
Language: English
Published by Cambridge University Press, Cambridge, 2004
ISBN 10: 0521608570 ISBN 13: 9780521608572
Seller: Grand Eagle Retail, Bensenville, IL, U.S.A.
Paperback. Condition: new. Paperback. Linear Logic is a branch of proof theory which provides refined tools for the study of the computational aspects of proofs. These tools include a duality-based categorical semantics, an intrinsic graphical representation of proofs, the introduction of well-behaved non-commutative logical connectives, and the concepts of polarity and focalisation. These various aspects are illustrated here through introductory tutorials as well as more specialised contributions, with a particular emphasis on applications to computer science: denotational semantics, lambda-calculus, logic programming and concurrency theory. The volume is rounded-off by two invited contributions on new topics rooted in recent developments of linear logic. The book derives from a summer school that was the climax of the EU Training and Mobility of Researchers project 'Linear Logic in Computer Science'. It is an excellent introduction to some of the most active research topics in the area. The purpose of this book is to illustrate the use of linear logic in the application of proof theory to computer science. It contains tutorials introducing the application of linear logic, as well as advanced contributions on recent trends. It is an excellent introduction to research topics in the area. This item is printed on demand. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
Seller: Revaluation Books, Exeter, United Kingdom
US$ 145.10
Quantity: 1 available
Add to basketPaperback. Condition: Brand New. 381 pages. 9.00x6.00x0.50 inches. In Stock. This item is printed on demand.
Language: English
Published by Cambridge University Press, 2004
ISBN 10: 0521608570 ISBN 13: 9780521608572
Seller: THE SAINT BOOKSTORE, Southport, United Kingdom
US$ 151.58
Quantity: Over 20 available
Add to basketPaperback / softback. Condition: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days.
Language: English
Published by Cambridge University Press, 2016
ISBN 10: 0521608570 ISBN 13: 9780521608572
Seller: moluna, Greven, Germany
US$ 133.23
Quantity: Over 20 available
Add to basketCondition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. The purpose of this book is to illustrate the use of linear logic in the application of proof theory to computer science. It contains tutorials introducing the application of linear logic, as well as advanced contributions on recent trends. It is an excelle.