bokomslag Mathematical Logic and Theoretical Computer Science
Vetenskap & teknik

Mathematical Logic and Theoretical Computer Science

David Kueker

Inbunden

3629:-

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

Uppskattad leveranstid 7-12 arbetsdagar

Fri frakt för medlemmar vid köp för minst 249:-

Andra format:

  • 408 sidor
  • 2017
Mathematical Logic and Theoretical Computer Science covers various topics ranging from recursion theory to Zariski topoi. Leading international authorities discuss selected topics in a number of areas, including denotational semanitcs, reccuriosn theoretic aspects fo computer science, model theory and algebra, Automath and automated reasoning, stability theory, topoi and mathematics, and topoi and logic. The most up-to-date review available in its field, Mathematical Logic and Theoretical Computer Science will be of interest to mathematical logicians, computer scientists, algebraists, algebraic geometers, differential geometers, differential topologists, and graduate students in mathematics and computer science.
  • Författare: David Kueker
  • Format: Inbunden
  • ISBN: 9781138466890
  • Språk: Engelska
  • Antal sidor: 408
  • Utgivningsdatum: 2017-11-06
  • Förlag: CRC Press