Logical frameworks (35 résultats)

Titre: 
Affiner les résultats avec une recherche avancée

Affiner la recherche

  • Livres (35)

En savoir plus

à

Fourchette de prix personnalisée (EUR)

à

  • Langue : anglais

    Edité par Cambridge University Press 1991

    0521413001 / 9780521413008

    • Couverture rigide

    Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices

    Vendeur avec une évaluation de 5 étoiles
    Contacter le vendeur

    Etat: Neuf

    EUR 116,06

    EUR 2,30 expédition 
    Expédition nationale : Etats-Unis

    Quantité disponible : Plus de 20 disponibles

    Etat : New.

  • Langue : anglais

    Edité par Cambridge University Press 1991

    0521413001 / 9780521413008

    • Couverture rigide

    Vendeur : BennettBooksLtd, Los Angeles, CA, Etats-UnisBennettBooksLtd

    Vendeur avec une évaluation de 5 étoiles
    Contacter le vendeur

    Etat: Neuf

    EUR 112,49

    EUR 6,06 expédition 
    Expédition nationale : Etats-Unis

    Quantité disponible : 1 disponible(s)

    hardcover. Etat : New. In shrink wrap. Looks like an interesting title.

  • Langue : anglais

    Edité par Cambridge University Press 1991

    0521413001 / 9780521413008

    • Couverture rigide

    Vendeur : California Books, Miami, FL, Etats-UnisCalifornia Books

    Vendeur avec une évaluation de 4 étoiles
    Contacter le vendeur

    Etat: Neuf

    EUR 122,07

     Frais de port gratuits 
    Expédition nationale : Etats-Unis

    Quantité disponible : Plus de 20 disponibles

    Etat : New.

  • Langue : anglais

    Edité par Cambridge University Press 1991

    0521413001 / 9780521413008

    • Couverture rigide

    Vendeur : The Book Spot, Sioux Falls, MN, Etats-UnisThe Book Spot

    Vendeur avec une évaluation de 5 étoiles
    Contacter le vendeur

    Etat: Neuf

    EUR 125,66

     Frais de port gratuits 
    Expédition nationale : Etats-Unis

    Quantité disponible : 1 disponible(s)

    Hardcover. Etat : New.

  • Langue : anglais

    Edité par Cambridge University Press 1991

    0521413001 / 9780521413008

    • Couverture rigide

    Vendeur : Ria Christie Collections, Uxbridge, Royaume-UniRia Christie Collections

    Vendeur avec une évaluation de 5 étoiles
    Contacter le vendeur

    Etat: Neuf

    EUR 113,33

    EUR 13,81 expédition 
    Expédition depuis Royaume-Uni vers Etats-Unis

    Quantité disponible : Plus de 20 disponibles

    Etat : New. In.

  • Langue : anglais

    Edité par Cambridge University Press 1991

    0521413001 / 9780521413008

    • Couverture rigide

    Vendeur : GreatBookPricesUK, Woodford Green, Royaume-UniGreatBookPricesUK

    Vendeur avec une évaluation de 5 étoiles
    Contacter le vendeur

    Etat: Neuf

    EUR 113,32

    EUR 17,30 expédition 
    Expédition depuis Royaume-Uni vers Etats-Unis

    Quantité disponible : Plus de 20 disponibles

    Etat : New.

  • Langue : anglais

    Edité par Cambridge University Press 1991

    0521413001 / 9780521413008

    • Couverture rigide

    Vendeur : Kennys Bookshop and Art Galleries Ltd., Galway, GY, IrlandeKennys Bookshop and Art Galleries Ltd.

    Vendeur avec une évaluation de 5 étoiles
    Contacter le vendeur

    Etat: Neuf

    EUR 131,94

    EUR 10,50 expédition 
    Expédition depuis Irlande vers Etats-Unis

    Quantité disponible : Plus de 20 disponibles

    Etat : New. This 1991 volume contains the proceedings of the first international workshop on Logical Frameworks. Editor(s): Huet, Gerard; Plotkin, G. Num Pages: 416 pages, black & white illustrations. BIC Classification: UMX; UYA. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 27. Weight in Grams: 738. . 1991. h…

  • Langue : anglais

    Edité par North Holland 1996

    0444823069 / 9780444823069

    • Couverture rigide

    Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices

    Vendeur avec une évaluation de 5 étoiles
    Contacter le vendeur

    Etat: Neuf

    EUR 154,28

    EUR 2,30 expédition 
    Expédition nationale : Etats-Unis

    Quantité disponible : Plus de 20 disponibles

    Etat : New.

  • Langue : anglais

    Edité par North Holland 1996

    0444823069 / 9780444823069

    • Couverture rigide

    Vendeur : Ria Christie Collections, Uxbridge, Royaume-UniRia Christie Collections

    Vendeur avec une évaluation de 5 étoiles
    Contacter le vendeur

    Etat: Neuf

    EUR 146,53

    EUR 13,81 expédition 
    Expédition depuis Royaume-Uni vers Etats-Unis

    Quantité disponible : Plus de 20 disponibles

    Etat : New. In.

  • Langue : anglais

    Edité par North Holland 1996

    0444823069 / 9780444823069

    • Couverture rigide

    Vendeur : GreatBookPricesUK, Woodford Green, Royaume-UniGreatBookPricesUK

    Vendeur avec une évaluation de 5 étoiles
    Contacter le vendeur

    Etat: Neuf

    EUR 146,52

    EUR 17,30 expédition 
    Expédition depuis Royaume-Uni vers Etats-Unis

    Quantité disponible : Plus de 20 disponibles

    Etat : New.

  • Langue : anglais

    Edité par North Holland 1996

    0444823069 / 9780444823069

    • Couverture rigide

    Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices

    Vendeur avec une évaluation de 5 étoiles
    Contacter le vendeur

    Etat: Occasion - Comme neuf

    EUR 162,84

    EUR 2,30 expédition 
    Expédition nationale : Etats-Unis

    Quantité disponible : Plus de 20 disponibles

    Etat : As New. Unread book in perfect condition.

  • Langue : anglais

    Edité par Cambridge University Press CUP 1991

    0521413001 / 9780521413008

    • Couverture rigide

    Vendeur : Books Puddle, New York, NY, Etats-UnisBooks Puddle

    Vendeur avec une évaluation de 4 étoiles
    Contacter le vendeur

    Etat: Neuf

    EUR 164,51

    EUR 3,48 expédition 
    Expédition nationale : Etats-Unis

    Quantité disponible : 4 disponible(s)

    Etat : New. pp. 416.

  • Langue : anglais

    Edité par Cambridge University Press 1991

    0521413001 / 9780521413008

    • Couverture rigide

    Vendeur : Kennys Bookstore, Olney, MD, Etats-UnisKennys Bookstore

    Vendeur avec une évaluation de 5 étoiles
    Contacter le vendeur

    Etat: Neuf

    EUR 167,35

    EUR 9,15 expédition 
    Expédition nationale : Etats-Unis

    Quantité disponible : Plus de 20 disponibles

    Etat : New. This 1991 volume contains the proceedings of the first international workshop on Logical Frameworks. Editor(s): Huet, Gerard; Plotkin, G. Num Pages: 416 pages, black & white illustrations. BIC Classification: UMX; UYA. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 27. Weight in Grams: 738. . 1991. h…

  • Langue : anglais

    Edité par Cambridge University Press 1991

    0521413001 / 9780521413008

    • Couverture rigide

    Vendeur : GreatBookPricesUK, Woodford Green, Royaume-UniGreatBookPricesUK

    Vendeur avec une évaluation de 5 étoiles
    Contacter le vendeur

    Etat: Occasion - Comme neuf

    EUR 160,33

    EUR 17,30 expédition 
    Expédition depuis Royaume-Uni vers Etats-Unis

    Quantité disponible : Plus de 20 disponibles

    Etat : As New. Unread book in perfect condition.

  • Langue : anglais

    Edité par North Holland 1996

    0444823069 / 9780444823069

    • Couverture rigide

    Vendeur : GreatBookPricesUK, Woodford Green, Royaume-UniGreatBookPricesUK

    Vendeur avec une évaluation de 5 étoiles
    Contacter le vendeur

    Etat: Occasion - Comme neuf

    EUR 162,35

    EUR 17,30 expédition 
    Expédition depuis Royaume-Uni vers Etats-Unis

    Quantité disponible : Plus de 20 disponibles

    Etat : As New. Unread book in perfect condition.

  • Langue : anglais

    Edité par Cambridge University Press 1991

    0521413001 / 9780521413008

    • Couverture rigide

    Vendeur : Mispah books, Redhill, SURRE, Royaume-UniMispah books

    Vendeur avec une évaluation de 4 étoiles
    Contacter le vendeur

    Etat: Occasion - Comme neuf

    EUR 150,84

    EUR 28,83 expédition 
    Expédition depuis Royaume-Uni vers Etats-Unis

    Quantité disponible : 1 disponible(s)

    Hardcover. Etat : Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.

  • Langue : anglais

    Edité par Cambridge University Press 1991

    0521413001 / 9780521413008

    • Couverture rigide

    Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices

    Vendeur avec une évaluation de 5 étoiles
    Contacter le vendeur

    Etat: Occasion - Comme neuf

    EUR 182,69

    EUR 2,30 expédition 
    Expédition nationale : Etats-Unis

    Quantité disponible : Plus de 20 disponibles

    Etat : As New. Unread book in perfect condition.

  • Langue : anglais

    Edité par Elsevier Science and Technology, US 1996

    0444823069 / 9780444823069

    • Couverture rigide

    Vendeur : Rarewaves.com USA, London, LONDO, Royaume-UniRarewaves.com USA

    Vendeur avec une évaluation de 5 étoiles
    Contacter le vendeur

    Etat: Neuf

    EUR 189,81

     Frais de port gratuits 
    Expédition depuis Royaume-Uni vers Etats-Unis

    Quantité disponible : Plus de 20 disponibles

    Hardback. Etat : New. This English translation of the author's original work has been thoroughly revised, expanded and updated.The book covers logical systems known as type-free or self-referential. These traditionally arise from any discussion on logical and semantical paradoxes. This particular volume, however, is not concerne…

  • Langue : anglais

    Edité par Elsevier Science 1996

    0444823069 / 9780444823069

    • Couverture rigide

    Vendeur : moluna, Greven, , Allemagnemoluna

    Vendeur avec une évaluation de 5 étoiles
    Contacter le vendeur

    Etat: Neuf

    EUR 161,87

    EUR 48,99 expédition 
    Expédition depuis Allemagne vers Etats-Unis

    Quantité disponible : Plus de 20 disponibles

    Gebunden. Etat : New. This English translation of the author s original work has been thoroughly revised, expanded and updated.The book covers logical systems known as type-free or self-referential. These traditionally arise from any discussion on logical and se.

  • Langue : anglais

    Edité par Cambridge University Press 1991

    0521413001 / 9780521413008

    • Couverture rigide

    Vendeur : AHA-BUCH GmbH, Einbeck, AllemagneAHA-BUCH GmbH

    Vendeur avec une évaluation de 5 étoiles
    Contacter le vendeur

    Etat: Neuf

    EUR 153,73

    EUR 64,12 expédition 
    Expédition depuis Allemagne vers Etats-Unis

    Quantité disponible : 1 disponible(s)

    Buch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - This 1991 volume contains the proceedings of the first international workshop on Logical Frameworks. The contributions are concerned with the application of logical reasoning and proof theory in computer science and its relevance to automatic theorem proving,…

  • Langue : anglais

    Edité par North Holland 2011

    044454691X / 9780444546913

    • Couverture souple

    Vendeur : Revaluation Books, Exeter, , Royaume-UniRevaluation Books

    Vendeur avec une évaluation de 5 étoiles
    Contacter le vendeur

    Etat: Neuf

    EUR 220,94

    EUR 14,41 expédition 
    Expédition depuis Royaume-Uni vers Etats-Unis

    Quantité disponible : 1 disponible(s)

    Paperback. Etat : Brand New. 480 pages. 9.00x6.00x1.09 inches. In Stock.

  • Langue : anglais

    Edité par Elsevier Science and Technology, US 1996

    0444823069 / 9780444823069

    • Couverture rigide

    Vendeur : Rarewaves.com UK, London, Royaume-UniRarewaves.com UK

    Vendeur avec une évaluation de 5 étoiles
    Contacter le vendeur

    Etat: Neuf

    EUR 178,86

    EUR 74,95 expédition 
    Expédition depuis Royaume-Uni vers Etats-Unis

    Quantité disponible : Plus de 20 disponibles

    Hardback. Etat : New. This English translation of the author's original work has been thoroughly revised, expanded and updated.The book covers logical systems known as type-free or self-referential. These traditionally arise from any discussion on logical and semantical paradoxes. This particular volume, however, is not concerne…

  • Langue : anglais

    Edité par BERTRAMS PRINT ON DEMAND Mär 1996 1996

    0444823069 / 9780444823069

    • Couverture rigide

    Vendeur : AHA-BUCH GmbH, Einbeck, AllemagneAHA-BUCH GmbH

    Vendeur avec une évaluation de 5 étoiles
    Contacter le vendeur

    Etat: Neuf

    EUR 199,77

    EUR 64,20 expédition 
    Expédition depuis Allemagne vers Etats-Unis

    Quantité disponible : 2 disponible(s)

    Buch. Etat : Neu. Neuware - This English translation of the author's original work has been thoroughly revised, expanded and updated.

  • Edité par North Holland, Amsterdam 1996

    • Couverture rigide

    Vendeur : Riverbooks, Suttons Bay, MI, Etats-UnisRiverbooks

    Vendeur avec une évaluation de 5 étoiles
    Contacter le vendeur

    Etat: Occasion - Comme neuf

    EUR 107,71

    EUR 5,66 expédition 
    Expédition nationale : Etats-Unis

    Quantité disponible : 1 disponible(s)

    Ajouter au panier

    Hardcover. Etat : As New. No Jacket. Studies in Logic and the Foundations of Mathematics, Volume 135. Covers clean and bright, hardly any shelf wear, virtually as new. No dust jacket (as issued).

  • Langue : anglais

    Edité par CreateSpace 2008

    1440474923 / 9781440474927

    • Couverture souple
    • impression à la demande

    Vendeur : Revaluation Books, Exeter, , Royaume-UniRevaluation Books

    Vendeur avec une évaluation de 5 étoiles
    Contacter le vendeur

    Etat: Neuf

    EUR 24,88

    EUR 17,30 expédition 
    Expédition depuis Royaume-Uni vers Etats-Unis

    Quantité disponible : 1 disponible(s)

    Paperback. Etat : Brand New. 484 pages. 10.00x7.00x1.20 inches. In Stock. This item is printed on demand.

  • Langue : anglais

    Edité par Cambridge University Press, Cambridge 1991

    0521413001 / 9780521413008

    • Couverture rigide
    • impression à la demande

    Vendeur : Grand Eagle Retail, Bensenville, IL, Etats-UnisGrand Eagle Retail

    Vendeur avec une évaluation de 5 étoiles
    Contacter le vendeur

    Etat: Neuf

    EUR 118,44

     Frais de port gratuits 
    Expédition nationale : Etats-Unis

    Quantité disponible : 1 disponible(s)

    Hardcover. Etat : new. Hardcover. This volume contains the proceedings of the first international workshop on Logical Frameworks. The contributions are concerned with the application of logical reasoning and proof theory in computer science and its relevance to automatic theorem proving, and consequently topics such as artificia…

  • Langue : anglais

    Edité par Cambridge Univ Pr 1991

    0521413001 / 9780521413008

    • Couverture rigide
    • impression à la demande

    Vendeur : Revaluation Books, Exeter, , Royaume-UniRevaluation Books

    Vendeur avec une évaluation de 5 étoiles
    Contacter le vendeur

    Etat: Neuf

    EUR 123,98

    EUR 14,41 expédition 
    Expédition depuis Royaume-Uni vers Etats-Unis

    Quantité disponible : 1 disponible(s)

    Hardcover. Etat : Brand New. 416 pages. 9.25x6.25x1.25 inches. In Stock. This item is printed on demand.

  • Langue : anglais

    Edité par Cambridge University Press 1991

    0521413001 / 9780521413008

    • Couverture rigide
    • impression à la demande

    Vendeur : THE SAINT BOOKSTORE, Southport, , Royaume-UniTHE SAINT BOOKSTORE

    Vendeur avec une évaluation de 5 étoiles
    Contacter le vendeur

    Etat: Neuf

    EUR 129,98

    EUR 21,74 expédition 
    Expédition depuis Royaume-Uni vers Etats-Unis

    Quantité disponible : Plus de 20 disponibles

    Hardback. Etat : New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days.

  • Langue : anglais

    Edité par North Holland 1996

    0444823069 / 9780444823069

    • Couverture rigide
    • impression à la demande

    Vendeur : PBShop.store UK, Fairford, GLOS, Royaume-UniPBShop.store UK

    Vendeur avec une évaluation de 5 étoiles
    Contacter le vendeur

    Etat: Neuf

    EUR 149,00

    EUR 5,79 expédition 
    Expédition depuis Royaume-Uni vers Etats-Unis

    Quantité disponible : Plus de 20 disponibles

    HRD. Etat : New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.

  • Langue : anglais

    Edité par North Holland 1996

    0444823069 / 9780444823069

    • Couverture rigide
    • impression à la demande

    Vendeur : PBShop.store US, Wood Dale, IL, Etats-UnisPBShop.store US

    Vendeur avec une évaluation de 5 étoiles
    Contacter le vendeur

    Etat: Neuf

    EUR 156,66

     Frais de port gratuits 
    Expédition nationale : Etats-Unis

    Quantité disponible : Plus de 20 disponibles

    HRD. Etat : New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.