Articoli correlati a Mathematical Logic and Theoretical Computer Science:...

Mathematical Logic and Theoretical Computer Science: 106 - Brossura

Libro 130 di 138: Lecture Notes in Pure and Applied Mathematics

Kueker, David

 
9780824777463: Mathematical Logic and Theoretical Computer Science: 106

Sinossi

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.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Informazioni sull'autore

David Kuekker is a professor of mathematics at the University of Maryland, College Park.

Dalla quarta di copertina

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.

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.