Udvidet returret til d. 31. januar 2025

Mathematical Logic and Theoretical Computer Science - David Kueker - Bog

Bag 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 mere
  • Sprog:
  • Engelsk
  • ISBN:
  • 9780824777463
  • Indbinding:
  • Paperback
  • Sideantal:
  • 408
  • Udgivet:
  • 22. december 1986
  • Størrelse:
  • 178x254x21 mm.
  • Vægt:
  • 726 g.
  • 8-11 hverdage.
  • 6. december 2024
På lager

Normalpris

  • BLACK NOVEMBER

Medlemspris

Prøv i 30 dage for 45 kr.
Herefter fra 79 kr./md. Ingen binding.

Beskrivelse af 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.

Brugerbedømmelser af Mathematical Logic and Theoretical Computer Science



Find lignende bøger
Bogen Mathematical Logic and Theoretical Computer Science findes i følgende kategorier:

Gør som tusindvis af andre bogelskere

Tilmeld dig nyhedsbrevet og få gode tilbud og inspiration til din næste læsning.