Kod: 12566409
The metamathematics of real numbers can be developed by analysing different formal theories of real numbers. Based on the theory of real closed fields several extensions are investigated proof-theoretically and compared with each ... więcej
956.21 zł
Potrzebujesz więcej egzemplarzy?Jeżeli jesteś zainteresowany zakupem większej ilości egzemplarzy, skontaktuj się z nami, aby sprawdzić ich dostępność.
Za ten zakup dostaniesz 557 punkty
The metamathematics of real numbers can be developed by analysing different formal theories of real numbers. Based on the theory of real closed fields several extensions are investigated proof-theoretically and compared with each other and with other canonical mathematical theories via the relation of interpretability. The results determine the resources employed in those theories and establish a reducibility approach to real numbers.
Kategoria Książki po niemiecku Naturwissenschaften, Medizin, Informatik, Technik Mathematik Grundlagen
956.21 zł
Od roku 2008 obsłużyliśmy wielu miłośników książek, ale dla nas każdy był tym wyjątkowym.
Copyright! ©2008-24 libristo.pl Wszelkie prawa zastrzeżonePrywatnieCookies
Dobre na wszystkich stronach
Koszyk ( pusty )