Feminist Interpretations of David Hume, Anne Jaap Jacobson

Название: Interpretations of the Two Germanies, 1945-1990
ISBN: 0333665791 ISBN-13(EAN): 9780333665794
Издательство: Springer
Рейтинг:
Цена: 4331.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The two Germanies, arising from the unpromising ashes of defeated Nazi Germany, came to represent opposing models of state and society.

Автор: Ulrich Kohlenbach
Название: Applied Proof Theory: Proof Interpretations and their Use in Mathematics
ISBN: 3642096271 ISBN-13(EAN): 9783642096273
Издательство: Springer
Рейтинг:
Цена: 13974.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This is the first treatment in book format of proof-theoretic transformations - known as proof interpretations - that focuses on applications to ordinary mathematics.