Kniha momentálne nie je na sklade

Semantical Investigations in Heyting's Intuitionistic Logic

Autori

Dov M. Gabbay

Parametre

Viac o knihe

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.

Vydanie

Nákup knihy

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

Jazyk
Rok vydania: 1981
product-detail.submit-box.info.binding: (pevná)

Akonáhle sa objaví, pošleme e-mail.

Doručenie

Platobné metódy

Nikto zatiaľ neohodnotil.Ohodnotiť

Titul: Semantical Investigations in Heyting's Intuitionistic Logic
Jazyk: anglicky
Autori: Dov M. Gabbay
Vydavateľ: Springer / Springer Netherlands
Rok vydania: 1981
Väzba: pevná
ISBN13: 9789027712028
Štítky: Učebnice, Filozofia, Ostatné učebnice
Anotácia: 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.