Verkauf durch Sack Fachmedien

Kueker / Lopez-Escobar

Mathematical Logic and Theoretical Computer Science

Medium: Buch
ISBN: 978-0-8247-7746-3
Verlag: Routledge
Erscheinungstermin: 22.12.1986
Lieferfrist: bis zu 10 Tage

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.


Produkteigenschaften


  • Artikelnummer: 9780824777463
  • Medium: Buch
  • ISBN: 978-0-8247-7746-3
  • Verlag: Routledge
  • Erscheinungstermin: 22.12.1986
  • Sprache(n): Englisch
  • Auflage: 1. Auflage 1986
  • Serie: Lecture Notes in Pure and Applied Mathematics
  • Produktform: Kartoniert
  • Gewicht: 764 g
  • Seiten: 408
  • Format (B x H x T): 178 x 254 x 22 mm
  • Ausgabetyp: Kein, Unbekannt
Autoren/Hrsg.

Autoren

Herausgeber