Mathematical Logic and Theoretical Computer Science - Rilegato

Kueker, David

 
9781138466890: Mathematical Logic and Theoretical Computer Science

Sinossi

Mathematical Logic and Theoretical Computer Science covers various topics ranging from recursion theory to Zariski topoi. Leading international authorities discuss selected topics in a number of areas, including denotational semanitcs, reccuriosn theoretic aspects fo computer science, model theory and algebra, Automath and automated reasoning, stability theory, topoi and mathematics, and topoi and logic.

The most up-to-date review available in its field, Mathematical Logic and Theoretical Computer Science will be of interest to mathematical logicians, computer scientists, algebraists, algebraic geometers, differential geometers, differential topologists, and graduate students in mathematics and computer science.

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

9780824777463: Mathematical Logic and Theoretical Computer Science: 106

Edizione in evidenza

ISBN 10:  0824777468 ISBN 13:  9780824777463
Casa editrice: CRC Press, 1986
Brossura