Mathematical Logic and Theoretical Computer Science (Bog, Paperback / softback, Engelsk) af David Kueker
  1. Forside
  2. Bøger
  3. Engelske bøger
  4. Matematisk logik
  5. Mathematical Logic and Theoretical Computer Science

Mathematical Logic and Theoretical Computer Science

(Bog, Paperback / softback, Engelsk)
Forfatter: David Kueker
Mathematical Logic and Theoretical Computer Science
Forlag: Taylor & Francis Inc

Bemærk: Kan ikke leveres før jul.

Når du handler på WilliamDam.dk, betaler du den pris du ser.

  • Ingen gebyrer
  • Ingen abonnementer
  • Ingen bindingsperioder

Relaterede kategorier

Matematisk logik
  = Emner / kategorier
  = Sektioner / guides
  = Specialsider
  = Kampagner

Beskrivelse

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.

Læsernes anmeldelser (0)

Alle detaljer

Forlag Taylor & Francis Inc
Forfatter David Kueker
Type Bog
Format Paperback / softback
Sprog Engelsk
Udgivelsesdato 22-12-1986
Første udgivelsesår 1986
Serie Lecture Notes in Pure and Applied Mathematics
Fagredaktør David W. Kueker, Edgar G. K. Lopez-Escobar, Carl H. Smith
Originalsprog United States
Sideantal 408
Indbinding Paperback / softback
Forlag Taylor & Francis Inc
Sideoplysninger 408 pages
Mål 254 x 178
ISBN-13 / EAN-13 9780824777463