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:
  • 9789048183623
  • Indbinding:
  • Paperback
  • Sideantal:
  • 294
  • Udgivet:
  • 22. december 2010
  • Udgave:
  • 11981
  • Størrelse:
  • 279x210x16 mm.
  • Vægt:
  • 717 g.
  • 8-11 hverdage.
  • 16. januar 2025
Forlænget returret til d. 31. januar 2025
  •  

    Kan ikke leveres inden jul.
    Køb nu og print et gavebevis

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: