Das Buch ist derzeit nicht auf Lager
Mehr zum Buch
Focusing on non-classical logics, this book examines the properties of logical systems that incorporate classical connectives and implications near Heyting's implication. It intentionally omits the topic of entailment, citing existing literature, while later chapters cater to intuitionist mathematicians. The author acknowledges the influence of colleagues in shaping the work, highlighting significant contributions from Professors Kreisel, Rabin, and Scott. Although the text touches on advanced concepts like topological models and theories of types, it refrains from delving into a comprehensive theory due to publication constraints.
Buchkauf
Semantical Investigations in Heyting's Intuitionistic Logic, Dov M. Gabbay
- Sprache
- Erscheinungsdatum
- 2010
- product-detail.submit-box.info.binding
- (Paperback)
Wir benachrichtigen dich per E-Mail.
Lieferung
Zahlungsmethoden
Keiner hat bisher bewertet.