Mathematical Logic and Theoretical Computer Science
Av David Kueker, 1986.Del av serien Lecture Notes in Pure and Applied Mathematics.
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.
Språk: Engelsk
Ikke tilgjengelig for Klikk&Hent
Midlertidig tomt på lager
Bestillingsvare. Forventes sendt om ca 10 dager
Oppdag mer
Mathematical Logic and Theoretical Computer Science
Av David Kueker, 1986.Del av serien Lecture Notes in Pure and Applied Mathematics.
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.
Oppdag mer
Språk: Engelsk
Ikke tilgjengelig for Klikk&Hent
Midlertidig tomt på lager
Bestillingsvare. Forventes sendt om ca 10 dager
Ved å fullføre kjøpet aksepterer du kjøpsvilkårene.
