Utvidet returrett til 31. januar 2025

Mathematical Logic and Theoretical Computer Science

Om Mathematical Logic and Theoretical Computer Science

This book includes articles on denotational semanitcs, recursion theoretic aspects of computer science, model theory and algebra, automath and automated reasoning, stability theory, topoi and mathematics, and topoi and logic. It is intended for mathematical logicians and computer scientists.

Vis mer
  • Språk:
  • Engelsk
  • ISBN:
  • 9780824777463
  • Bindende:
  • Paperback
  • Sider:
  • 408
  • Utgitt:
  • 22. desember 1986
  • Dimensjoner:
  • 178x254x21 mm.
  • Vekt:
  • 726 g.
  • BLACK NOVEMBER
  Gratis frakt
Leveringstid: 2-4 uker
Forventet levering: 18. desember 2024

Beskrivelse av Mathematical Logic and Theoretical Computer Science

This book includes articles on denotational semanitcs, recursion theoretic aspects of computer science, model theory and algebra, automath and automated reasoning, stability theory, topoi and mathematics, and topoi and logic. It is intended for mathematical logicians and computer scientists.

Brukervurderinger av Mathematical Logic and Theoretical Computer Science



Finn lignende bøker
Boken Mathematical Logic and Theoretical Computer Science finnes i følgende kategorier:

Gjør som tusenvis av andre bokelskere

Abonner på vårt nyhetsbrev og få rabatter og inspirasjon til din neste leseopplevelse.