Dirk Siefkes 
Decidable Theories [PDF ebook] 
Vol. 1: Buchi`s Monadic Second Order Successor Arithmetic

Підтримка
€29.61
методи оплати
Придбайте цю електронну книгу та отримайте ще 1 БЕЗКОШТОВНО!
Мова Англійська ● Формат PDF ● ISBN 9783540362524 ● Редактор Gert H. Muller ● Видавець Springer Berlin Heidelberg ● Опубліковано 2006 ● Завантажувані 3 разів ● Валюта EUR ● Посвідчення особи 6391249 ● Захист від копіювання Adobe DRM
Потрібен читач електронних книг, що підтримує DRM

Більше електронних книг того самого автора / Редактор

48 816 Електронні книги в цій категорі