El libro está agotado actualmente
Más información sobre el libro
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.
Compra de libros
Semantical Investigations in Heyting's Intuitionistic Logic, Dov M. Gabbay
- Idioma
- Publicado en
- 1981
- product-detail.submit-box.info.binding
- (Tapa dura)
Te avisaremos por correo electrónico en cuanto lo localicemos.
Métodos de pago
Nadie lo ha calificado todavía.