De Aller-Bedste Bøger - over 12 mio. danske og engelske bøger
Levering: 1 - 2 hverdage
Hjælp
Login
  1. Forside
  2. Bøger
  3. Business og læring
  4. Videnskab
  5. Semantical Investigations in Heyting's Intuitionistic Logic

Semantical Investigations in Heyting's Intuitionistic Logic

af Dov M. Gabbay

indgår i Synthese Library serien

Semantical Investigations in Heyting's Intuitionistic Logic af Dov M. Gabbay
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.

Bag om Dov M. Gabbay

Vis alle bøger af Dov M. Gabbay

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



Andre købte også..
Find lignende bøger
Bogen Semantical Investigations in Heyting's Intuitionistic Logic findes i følgende kategorier: