Le livre est actuellement en rupture de stock

Semantical Investigations in Heyting's Intuitionistic Logic

Auteurs

Dov M. Gabbay

Paramètres

En savoir plus sur le livre

This book explores logical systems related to Heyting's implication, emphasizing properties of classical connectives. It includes insights for intuitionist mathematicians and discusses topological models and type theories. The author acknowledges contributions from Professors Kreisel, Rabin, and Scott, highlighting their influence on the work.

Édition

Achat du livre

Semantical Investigations in Heyting's Intuitionistic Logic, Dov M. Gabbay

Langue
Année de publication: 1981
product-detail.submit-box.info.binding: (rigide)

Nous vous informerons par e-mail dès que nous l’aurons retrouvé.

Modes de paiement

Personne n'a encore évalué .Évaluer

Titre: Semantical Investigations in Heyting's Intuitionistic Logic
Langue: Anglais
Auteurs: Dov M. Gabbay
Éditeur: Springer / Springer Netherlands
Publié: 1981
Format: rigide
ISBN13: 9789027712028
Mots clés: Manuels, Philosophie, Autres manuels scolaires
Description: This book explores logical systems related to Heyting's implication, emphasizing properties of classical connectives. It includes insights for intuitionist mathematicians and discusses topological models and type theories. The author acknowledges contributions from Professors Kreisel, Rabin, and Scott, highlighting their influence on the work.