De Aller-Bedste Bøger - over 12 mio. danske og engelske bøger
Levering: 1 - 2 hverdage
Hjælp
Login
  1. Forside
  2. Bøger
  3. Business og læring
  4. Mathematical Logic and Theoretical Computer Science

Mathematical Logic and Theoretical Computer Science

af David Kueker

indgår i Lecture Notes in Pure and Applied Mathematics serien

Mathematical Logic and Theoretical Computer Science af David Kueker
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.
  • 7. marts 2025
På lager

Normalpris

Abonnementspris

- Rabat på køb af fysiske bøger
- 1 valgfrit digitalt ugeblad
- 20 timers lytning og læsning
- Adgang til 70.000+ titler
- Ingen binding

Abonnementet koster 75 kr./md.
Ingen binding og kan opsiges når som helst.

Bag om David Kueker

Vis alle bøger af David Kueker

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



Andre købte også..
Find lignende bøger
Bogen Mathematical Logic and Theoretical Computer Science findes i følgende kategorier: