Kubota, K: Mathematical Formulae -
- Format: Broché Voir le descriptif
Vous en avez un à vendre ?
Vendez-le-vôtre87,80 €
Produit Neuf
Ou 21,95 € /mois
- Livraison à 0,01 €
- Livré entre le 27 juillet et le 8 août
Brand new, In English, Fast shipping from London, UK; Tout neuf, en anglais, expédition rapide depuis Londres, Royaume-Uni;ria9783943334074_dbm
- Payez directement sur Rakuten (CB, PayPal, 4xCB...)
- Récupérez le produit directement chez le vendeur
- Rakuten vous rembourse en cas de problème
Gratuit et sans engagement
Félicitations !
Nous sommes heureux de vous compter parmi nos membres du Club Rakuten !
TROUVER UN MAGASIN
Retour
Avis sur Kubota, K: Mathematical Formulae Format Broché - Livre
0 avis sur Kubota, K: Mathematical Formulae Format Broché - Livre
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
Présentation Kubota, K: Mathematical Formulae Format Broché
- Livre
Résumé :
This work contains the formula part of the presentation of the mathematical logic R0, a further development of Peter B. Andrews' logic Q0. The syntactic features provided by R0 are type variables (polymorphic type theory), the binding of type variables with the abstraction operator and single variable binder ? (type abstraction), and (some of) the means necessary for dependent types (dependent type theory). For more information, please visit: http://doi.org/10.4444/100.10
Détails de conformité du produit
Personne responsable dans l'UE