Marknadens största urval
Fri frakt över 199 kr
Snabb leverans
Hjälp
Logga in
  1. Hem
  2. Böcker
  3. Företagande & lärande
  4. Mathematical Logic and Theoretical Computer Science

Mathematical Logic and Theoretical Computer Science

av David Kueker

del av Lecture Notes in Pure and Applied Mathematics-serien

Mathematical Logic and Theoretical Computer Science av David Kueker
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.

Visa mer
  • Språk:
  • Engelska
  • ISBN:
  • 9780824777463
  • Format:
  • Häftad
  • Sidor:
  • 408
  • Utgiven:
  • 22. december 1986
  • Mått:
  • 178x254x21 mm.
  • Vikt:
  • 726 g.
Leveranstid: 2-4 veckor
Förväntad leverans: 13. december 2024

Om David Kueker

Se alla böcker av David Kueker

Beskrivning 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.

Användarnas betyg av Mathematical Logic and Theoretical Computer Science



Andra köpte även...
Hitta liknande böcker
Boken Mathematical Logic and Theoretical Computer Science finns i följande kategorier:

Gör som tusentals andra bokälskare

Prenumerera på vårt nyhetsbrev för att få fantastiska erbjudanden och inspiration för din nästa läsning.