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. Introduction to Higher-Order Categorical Logic

Introduction to Higher-Order Categorical Logic

af J. Lambek

indgår i Cambridge Studies in Advanced Mathematics serien

Introduction to Higher-Order Categorical Logic af J. Lambek
Bag om Introduction to Higher-Order Categorical Logic

In this book the authors reconcile two different viewpoints of the foundations of mathematics, namely mathematical logic and category theory. Numerous applications of the close relationship between traditional logic and the algebraic language of category theory are given. Detailed references are provided and each section concludes with exercises.

Vis mere
  • Sprog:
  • Engelsk
  • ISBN:
  • 9780521356534
  • Indbinding:
  • Paperback
  • Sideantal:
  • 304
  • Udgivet:
  • 25. marts 1988
  • Størrelse:
  • 229x164x20 mm.
  • Vægt:
  • 462 g.
  • 8-11 hverdage.
  • 10. december 2024
På lager

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 J. Lambek

Vis alle bøger af J. Lambek

Beskrivelse af Introduction to Higher-Order Categorical Logic

In this book the authors reconcile two different viewpoints of the foundations of mathematics, namely mathematical logic and category theory. Numerous applications of the close relationship between traditional logic and the algebraic language of category theory are given. Detailed references are provided and each section concludes with exercises.

Brugerbedømmelser af Introduction to Higher-Order Categorical Logic



Andre købte også..
Find lignende bøger
Bogen Introduction to Higher-Order Categorical Logic findes i følgende kategorier: