Introduction to Higher-Order Categorical Logic (Bog, Paperback / softback, Engelsk) af J. Lambek
  1. Forside
  2. Bøger
  3. Engelske bøger
  4. Filosofi: logik
  5. Matematikkens fundament
  6. Introduction to Higher-Order Categorical Logic

Introduction to Higher-Order Categorical Logic

(Bog, Paperback / softback, Engelsk)
Forfattere: J. Lambek, P. J. Scott
Introduction to Higher-Order Categorical Logic
Forlag: Cambridge University Press

Bemærk: Kan ikke leveres før jul.

Når du handler på WilliamDam.dk, betaler du den pris du ser.

  • Ingen gebyrer
  • Ingen abonnementer
  • Ingen bindingsperioder

Relaterede kategorier

Filosofi: logik Matematikkens fundament
  = Emner / kategorier
  = Sektioner / guides
  = Specialsider
  = Kampagner

Beskrivelse

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.

Læsernes anmeldelser (0)

Alle detaljer

Forlag Cambridge University Press
Forfattere J. Lambek, P. J. Scott
Type Bog
Format Paperback / softback
Sprog Engelsk
Udgivelsesdato 25-03-1988
Første udgivelsesår 1988
Serie Cambridge Studies in Advanced Mathematics
Illustrationer Worked examples or Exercises
Originalsprog United Kingdom
Sideantal 304
Indbinding Paperback / softback
Forlag Cambridge University Press
Sideoplysninger 304 pages, Worked examples or Exercises
Mål 164 x 229 x 20
ISBN-13 / EAN-13 9780521356534