Knihu momentálně nemáme skladem
Parametry
Více o knize
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.
Nákup knihy
Semantical Investigations in Heyting's Intuitionistic Logic, Dov M. Gabbay
- Jazyk
- Rok vydání
- 1981
- product-detail.submit-box.info.binding
- (pevná)
Jakmile se objeví, pošleme e-mail.
Doručení
Platební metody
Nikdo zatím neohodnotil.