Sprawdzić stan zamówienia
LIBRISTO
LIBROAMANTO
obowiązkowe
Zapomniane hasło
Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści. Załóż konto bezpłatnie
0
Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
DPD Kurier 12.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł InPost Kurier 12.99 zł Punkt DPD 11.99 zł
phone Kontakt phoneJak kupować
Darmowa dostawa dla zamówień powyżej 299,00 zł.

Definability and Computability

Język AngielskiAngielski
Książka Twarda
Książka Definability and Computability Yuri L. Ershov
Kod Libristo: 05246929
Wydawnictwo Springer, Berlin, listopad 1995
In this book, Yurii L. Ershov posits the view that computability-in the broadest sense-can be regard... Cały opis
? points 547 b
982.74 zł
Dostępna u dostawcy Wysyłamy za 10-13 dni

Nawet do 30 dni na zwrot

Klienci kupili także

Belgien, seit seiner Revolution / Książka Miękka
common.buy 270.44 zł
The Last Book / Książka Twarda
common.buy 199.87 zł
Pomniejsze uczucia Hong Cathy Park / Książka Miękka
common.buy 40.42 zł
Růže na kmínku Vratislav Brabenec / Audio CD Audio
common.buy 54.61 zł
Petite anthologie de la poésie européenne - cent chefs-d'oeuvre Książka Miękka
common.buy 118.29 zł
Marketingkonzepte fur jedermann Dirk Geest / Książka Miękka
common.buy 58.94 zł
PATCHWORK Y BORDADO PARA LAS CUATRO ESTACIONES GAIL PAN / Książka Twarda
common.buy 73.75 zł

In this book, Yurii L. Ershov posits the view that computability-in the broadest sense-can be regarded as the Sigma-definability in the suitable sets. He presents a new approach to providing the Gödel incompleteness theorem based on systematic use of the formulas with the restricted quantifiers. The volume also includes a novel exposition on the foundations of the theory of admissible sets with urelements, using the Gandy theorem throughout the theory's development. Other topics discussed are forcing, Sigma-definability, dynamic logic, and Sigma-predicates of finite types.

Aktorka & Poliglotka
EWA KASP dla
Odtworzyć wideo
Ewa Kasp
Libristo ma największy wybór literatury obcojęzycznej. Dlatego tutaj kupuję swoje książki.

Informacje o książce

Pełna nazwa Definability and Computability
Autor Yuri L. Ershov
Język Angielski
Oprawa Książka - Twarda
Data wydania 1996
Liczba stron 264
EAN 9780306110399
ISBN 0306110393
Kod Libristo 05246929
Wydawnictwo Springer, Berlin
Waga 576
Wymiary 155 x 235 x 19

Kategoria

Matematyka i nauki ścisłe > Matematyka > Podstawy matematyki > Logika matematyczna
Podaruj tę książkę jeszcze dziś
To łatwe
1 Dodaj książkę do koszyka i wybierz „dostarczyć jako prezent” 2 W odpowiedzi wyślemy Ci bon 3 Książka dotrze na adres obdarowanego

Mogłoby Cię także zainteresować

Plasmonic Fano Resonators for Novel Metamaterial Applications Amin Muhammad / Książka Miękka
common.buy 262.83 zł
Challenging US Foreign Policy B. Sewell / Książka Twarda
common.buy 253.88 zł
Social Representations - Explorations in Social Psychology Serge Moscovici / Książka Twarda
common.buy 341.32 zł
Tattoo Lettering Bible Superior Tattoo / Książka Miękka
common.buy 133.42 zł
All the World an Icon Tom Cheetham / Książka Miękka
common.buy 73.44 zł
Parkinson's Disease and Nonmotor Dysfunction Ronald F. Pfeiffer / Książka Twarda
common.buy 874.31 zł
Improving Scalability of Model Checking Software Architectures Bosah Chukwuogo / Książka Miękka
common.buy 223.53 zł
A defence of a letter concerning the education of dissenters in their private academies: ... being an answer to the Defence of the dissenters educatio Samuel Wesley / Książka Miękka
common.buy 61.40 zł
The Last Tiger Brad Riew / Książka Miękka
common.buy 43.81 zł
Improvised Medicine: Providing Care in Extreme Environments, 2nd edition Kenneth V. Iserson / E-book Adobe ePub DRM
common.buy 571.04 zł
Islamic State Abdel Bari Atwan / E-book Adobe ePub DRM
common.buy 44.53 zł

Logowanie

Zaloguj się do swojego konta. Nie masz jeszcze konta Libristo? Utwórz je teraz!

 
obowiązkowe
obowiązkowe
Zapomniane hasło

Nie masz konta? Zyskaj korzyści konta Libristo!

Dzięki kontu Libristo będziesz mieć wszystko pod kontrolą.

Utwórz konto Libristo