English Deutsch

Categories

Quick purchase

Please enter the article no. from our catalogue.

More about...

Information

Ken Kubota: Mathematical Formulae

Ken Kubota: Mathematical Formulae
Zoom image

80,00 EUR

7 % VAT incl. excl. Shipping costs

Shipping time: 1 Week

Product no.: 978-3-943334-07-4
For further information, please visit the homepage of this product.

Ken Kubota: Mathematical Formulae

For customers outside the European Union (i.e. U.S. customers), no VAT is charged. Please login with your country information to see prices without VAT.

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 see The Mathematical Logic R0.

This Product was added to our catalogue on Wednesday 15 March, 2017.

Currencies

VISA / MasterCard

Shopping cart

You do not have any products in your shopping cart yet.

Welcome back!

E-mail address:
Password:
Forgot your password?

Customer group


Customer group: Guest

Manufacturer information

Manufacturer