Mathematical Logic and Theoretical Computer Science

Name: Mathematical Logic and Theoretical Computer Science
Brand: Taylor & Francis Ltd
SKU: 9781138466890
Price: 283.5 EUR
Availability: InStock

Автор: D. W. Kueker

Език:

Корици: С твърди корици

Издател: Taylor & Francis Ltd

Наличност: 50% вероятност

Ще претърсим света

283.50 € 554.49 лв

Mathematical Logic and Theoretical Computer Science covers various topics ranging from recursion the...

Информация за книгата

Автор

D. W. Kueker

Език

Английски език

Корици

Книга - С твърди корици

Издадена

2017

страници

408

EAN

9781138466890

ISBN

9781138466890

Enbook ID

17872039

Издател

Taylor & Francis Ltd

Теглоt

1260

Размери

220 x 286 x 33

Пълно описание

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.

Може също да ви хареса

Клиенти, които купиха тази книга, купиха също

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Mathematical Logic and Theoretical Computer Science

Информация за книгата

Пълно описание

Може също да ви хареса

Клиенти, които купиха тази книга, купиха също