Große Auswahl an günstigen Büchern
Schnelle Lieferung per Post und DHL

Semantical Investigations in Heyting's Intuitionistic Logic

enthalten in Synthese Library-Reihe

Über Semantical Investigations in Heyting's Intuitionistic Logic

From the point of view of non-classical logics, Heyting's implication is the smallest implication for which the deduction theorem holds. This book studies properties of logical systems having some of the classical connectives and implication in the neighbourhood of Heyt ing's implication.

Mehr anzeigen
  • Sprache:
  • Englisch
  • ISBN:
  • 9789048183623
  • Einband:
  • Taschenbuch
  • Seitenzahl:
  • 294
  • Veröffentlicht:
  • 22. Dezember 2010
  • Ausgabe:
  • 11981
  • Abmessungen:
  • 279x210x16 mm.
  • Gewicht:
  • 717 g.
  Versandkostenfrei
  Versandfertig in 1-2 Wochen.
Verlängerte Rückgabefrist bis 31. Januar 2025
  •  

    Keine Lieferung vor Weihnachten möglich.
    Kaufen Sie jetzt und drucken Sie einen Gutschein aus

Beschreibung von Semantical Investigations in Heyting's Intuitionistic Logic

From the point of view of non-classical logics, Heyting's implication is the smallest implication for which the deduction theorem holds. This book studies properties of logical systems having some of the classical connectives and implication in the neighbourhood of Heyt ing's implication.

Kund*innenbewertungen von Semantical Investigations in Heyting's Intuitionistic Logic



Ähnliche Bücher finden
Das Buch Semantical Investigations in Heyting's Intuitionistic Logic ist in den folgenden Kategorien erhältlich:

Willkommen bei den Tales Buchfreunden und -freundinnen

Jetzt zum Newsletter anmelden und tolle Angebote und Anregungen für Ihre nächste Lektüre erhalten.