Das Buch ist derzeit nicht auf Lager

Semantical Investigations in Heyting's Intuitionistic Logic

Autoren

Dov M. Gabbay

Parameter

Mehr zum Buch

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.

Publikation

Buchkauf

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

Sprache
Erscheinungsdatum: 1981
product-detail.submit-box.info.binding: (Hardcover)

Wir benachrichtigen dich per E-Mail.

Lieferung

Zahlungsmethoden

Keiner hat bisher bewertet.Abgeben

Titel: Semantical Investigations in Heyting's Intuitionistic Logic
Sprache: Englisch
Autor*innen: Dov M. Gabbay
Verlag: Springer / Springer Netherlands
Erscheinungsdatum: 1981
Einband: Hardcover
ISBN13: 9789027712028
Schlagwörter: Lehrbücher, Philosophie, Sonstige Lehrbücher
Beschreibung: 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.