Il libro è attualmente esaurito

Semantical Investigations in Heyting's Intuitionistic Logic

Autori

Dov M. Gabbay

Parametri

Maggiori informazioni sul 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.

Pubblicazione

Acquisto del libro

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

Lingua
Pubblicato: 1981
product-detail.submit-box.info.binding: (Copertina rigida)

Ti avviseremo via email non appena lo rintracceremo.

Metodi di pagamento

Ancora nessuna valutazione.Aggiungi una valutazione

Titolo: Semantical Investigations in Heyting's Intuitionistic Logic
Lingua: Inglese
Autori: Dov M. Gabbay
Editore: Springer / Springer Netherlands
Pubblicato: 1981
Formato: Copertina rigida
ISBN13: 9789027712028
Tag: Libri di testo, Filosofia, Altri libri di testo
Descrizione: 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.