Warning: Declaration of MH_Table_Rate_Shipping_Method::calculate_shipping($package) should be compatible with WC_Shipping_Method::calculate_shipping($package = Array) in /home/customer/www/bibliopolis.it/public_html/wp-content/plugins/table-rate-shipping-for-woocommerce/mh-wc-table-rate.php on line 764
Intuitionistic Type Theory – Bibliopolis – Edizioni di Filosofia e Scienze
ISBN: 9788870881059
Pagine: 92
Anno: 1984
Edizione: 7088

Intuitionistic Type Theory

Lingua: inglese
Categoria: , , .


These lectures were given in Padova at the Laboratorio per Ricerche di Dinamica dei Sistemi e di Elettronica Biomedica of the CNR in the 1980. The audience was made up by philosophers, mathematicians and computer scientists.


©2022 BIBLIOPOLIS – Edizioni di Filosofia e Scienze