De Aller-Bedste Bøger - over 12 mio. danske og engelske bøger
Levering: 1 - 2 hverdage

Semantical Investigations in Heyting's Intuitionistic Logic

Bag om 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.

Vis mere
  • Sprog:
  • Engelsk
  • ISBN:
  • 9789027712028
  • Indbinding:
  • Hardback
  • Sideantal:
  • 294
  • Udgivet:
  • 25. marts 1981
  • Udgave:
  • 1981
  • Størrelse:
  • 235x155x19 mm.
  • Vægt:
  • 1350 g.
  • 8-11 hverdage.
  • 16. januar 2025

Normalpris

Abonnementspris

- Rabat på køb af fysiske bøger
- 1 valgfrit digitalt ugeblad
- 20 timers lytning og læsning
- Adgang til 70.000+ titler
- Ingen binding

Abonnementet koster 75 kr./md.
Ingen binding og kan opsiges når som helst.

Beskrivelse af 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.

Brugerbedømmelser af Semantical Investigations in Heyting's Intuitionistic Logic



Find lignende bøger
Bogen Semantical Investigations in Heyting's Intuitionistic Logic findes i følgende kategorier: