Het boek is momenteel niet op voorraad
Parameters
Meer over het boek
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.
Een boek kopen
Semantical Investigations in Heyting's Intuitionistic Logic, Dov M. Gabbay
- Taal
- Jaar van publicatie
- 1981
- product-detail.submit-box.info.binding
- (Hardcover)
Zodra we het ontdekt hebben, sturen we een e-mail.
Betaalmethoden
Nog niemand heeft beoordeeld.