Häftad, Engelska, 1986
Mathematical Logic and Theoretical Computer Science
Av David Kueker, David W. Kueker, Edgar G. K. Lopez-Escobar
Del i serien Lecture Notes in Pure and Applied Mathematics
4359 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.
Beskrivning
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.
Produktinformation
- Utgivningsdatum: 1986-12-22
- Mått: 178 x 254 x 22 mm
- Vikt: 725 g
- Format: Häftad
- Språk: Engelska
- Serie: Lecture Notes in Pure and Applied Mathematics
- Antal sidor: 408
- Förlag: Taylor & Francis Inc
- ISBN: 9780824777463
Utforska kategorier
Mer om författaren
David Kuekker is a professor of mathematics at the University of Maryland, College Park.
Betyg & recensioner
0 recensioner
Inga recensioner tillgängliga.