Articles liés à Lectures on Linear Logic

Troelstra, A S Lectures on Linear Logic ISBN 13 : 9780937073773

Lectures on Linear Logic - Couverture souple

Troelstra, A S

 
9780937073773: Lectures on Linear Logic
Couverture souple
ISBN 10 : 0937073776 ISBN 13 : 9780937073773
Editeur : Center for the Study of Language and Information Publica Tion, 1992

Synopsis

The initial sections of this text deal with syntactical matters such as logical formalism, cut-elimination, and the embedding of intuitionistic logic in classical linear logic. Concluding chapters focus on proofnets for the multiplicative fragment and the algorithmic interpretation of cut-elimination in proofnets.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Acheter D'occasion

état :  Comme neuf
Unread book in perfect condition...
Afficher cet article
9780937073773: Lectures on Linear Logic
EUR 27,78

Autre devise

EUR 17,72 expédition depuis Etats-Unis vers France

Destinations, frais et délais

Acheter neuf

Afficher cet article
9780937073773: Lectures on Linear Logic
EUR 27,78

Autre devise

EUR 17,72 expédition depuis Etats-Unis vers France

Destinations, frais et délais

Autres éditions populaires du même titre

9780937073780: Lectures on Linear Logic

Edition présentée

ISBN 10 :  0937073784 ISBN 13 :  9780937073780
Editeur : Center for the Study of Language..., 1992
Couverture rigide

Résultats de recherche pour Lectures on Linear Logic

Image fournie par le vendeur

Troelstra, A. S.
ISBN 10 : 0937073776 ISBN 13 : 9780937073773
Neuf Couverture souple

Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : New. N° de réf. du vendeur 1550713-n

Contacter le vendeur

Acheter neuf

EUR 27,78
Autre devise
Frais de port : EUR 17,72
De Etats-Unis vers France
Destinations, frais et délais

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Troelstra, A. S.
ISBN 10 : 0937073776 ISBN 13 : 9780937073773
Ancien ou d'occasion Couverture souple

Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : As New. Unread book in perfect condition. N° de réf. du vendeur 1550713

Contacter le vendeur

Acheter D'occasion

EUR 27,78
Autre devise
Frais de port : EUR 17,72
De Etats-Unis vers France
Destinations, frais et délais

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Troelstra, A. S.
ISBN 10 : 0937073776 ISBN 13 : 9780937073773
Neuf Couverture souple

Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : New. N° de réf. du vendeur 1550713-n

Contacter le vendeur

Acheter neuf

EUR 34,42
Autre devise
Frais de port : EUR 17,84
De Royaume-Uni vers France
Destinations, frais et délais

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Troelstra, A. S.
ISBN 10 : 0937073776 ISBN 13 : 9780937073773
Ancien ou d'occasion Couverture souple

Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : As New. Unread book in perfect condition. N° de réf. du vendeur 1550713

Contacter le vendeur

Acheter D'occasion

EUR 34,45
Autre devise
Frais de port : EUR 17,84
De Royaume-Uni vers France
Destinations, frais et délais

Quantité disponible : 1 disponible(s)

Ajouter au panier