ISBN Reductive Logic and Proof-search ( Proof Theory Semantics and Control ), David J. Pym, Eike Ritter, 232 pages, Anglais,  ...

Reductive Logic and Proof-Search, Oxford Logic Guides, 45

ISBN Reductive Logic and Proof-search ( Proof Theory Semantics and Control ), David J. Pym, Eike Ritter, 232 pages, Anglais, Oxford University Press, 29/04/2004, unisexe

Offres:

Information produit

ISBN Reductive Logic and Proof-search ( Proof Theory Semantics and Control ). Rédigé par: David J. Pym, Eike Ritter, Nombre de pages: 232 pages, Langue: Anglais

E-books ISBN
Produit
Nom
Reductive Logic and Proof-Search, Oxford Logic Guides, 45
Catégorie
Marque
Caractéristiques
Rédigé par
David J. Pym, Eike Ritter
Nombre de pages
232 pages
Langue
Anglais
Éditeur
Oxford University Press
Date de sortie
29/04/2004
Sexe suggéré
unisexe
Quantité de commande minimum
1 pièce(s)
ISBN (International Standard Book Number)
9780198526339
REMARQUE: Les informations ci-dessus sont fournies uniquement pour votre commodité et nous ne pouvons garantir leur exactitude auprès du vendeur.

Avis clients

Faites-nous part de votre avis sur le produit ou consultez les avis des autres membres.