Mathematical Logic and Theoretical Computer Science: 106 - Brossura

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.

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

Altre edizioni note dello stesso titolo

9781138466890: Mathematical Logic and Theoretical Computer Science

Edizione in evidenza

ISBN 10:  1138466891 ISBN 13:  9781138466890
Casa editrice: CRC Press, 2017
Rilegato