Zistiť stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zabudnuté heslo
Staňte sa súčasťou komunity milovníkov kníh z celého sveta a získajte hromadu výhod. Založiť účet zdarma
0
Doprava zadarmo s Packetou nad 59.99 €
Kuriér DPD 2.99 € Kuriér GLS 3.99 € Zberné miesto GLS 2.49 € SPS 3.99 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Slovenská pošta 3.99 € Zberné miesto DPD 2.99 € Packeta 2.99 €
phone Kontakt phoneAko nakupovať
Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Definability and Computability

Jazyk AngličtinaAngličtina
Kniha Pevná
Kniha Definability and Computability Yuri L. Ershov
Libristo kód: 05246929
Nakladateľstvo Springer, Berlin, november 1995
In this book, Yurii L. Ershov posits the view that computability-in the broadest sense-can be regard... Celý popis
? points 547 b
226.19 €
Skladom u dodávateľa Odosielame za 10-13 dní

Až 30 dní na vrátenie tovaru

Zákazníci tiež kúpili

PATCHWORK Y BORDADO PARA LAS CUATRO ESTACIONES GAIL PAN / Kniha Pevná
common.buy 16.88 €
Marketingkonzepte fur jedermann Dirk Geest / Kniha Brožovaná
common.buy 13.54 €
Růže na kmínku Vratislav Brabenec / Audio Audio CD
common.buy 12.12 €
Pomniejsze uczucia Hong Cathy Park / Kniha Brožovaná
common.buy 10.00 €
Top
The Last Book / Kniha Pevná
common.buy 46.00 €
Belgien, seit seiner Revolution / Kniha Brožovaná
common.buy 62.28 €

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.

Herečka & Polyglotka
EWA KASP pre
Prehrať video
Ewa Kasp
Libristo má najväčší výber cudzojazyčnej literatúry. Preto si knihy kupujem tu.

Informácie o knihe

Celý názov Definability and Computability
Autor Yuri L. Ershov
Jazyk Angličtina
Väzba Kniha - Pevná
Dátum vydania 1996
Počet strán 264
EAN 9780306110399
ISBN 0306110393
Libristo kód 05246929
Nakladateľstvo Springer, Berlin
Váha 576
Rozmery 155 x 235 x 19

Kategórie

Matematika a veda > Matematika > Matematické základy > Matematická logika
Darujte túto knihu ešte dnes
Je to jednoduché
1 Pridajte knihu do košíka a vyberte možnosť doručiť ako darček 2 Obratom Vám zašleme poukaz 3 Knihu zašleme na adresu obdarovaného

Mohlo by vás tiež zaujímať

Plasmonic Fano Resonators for Novel Metamaterial Applications Amin Muhammad / Kniha Brožovaná
common.buy 60.46 €
The Last Tiger Brad Riew / Kniha Brožovaná
common.buy 10.10 €
Islamic State Abdel Bari Atwan / E-kniha Adobe ePub DRM
common.buy 10.30 €
Improvised Medicine: Providing Care in Extreme Environments, 2nd edition Kenneth V. Iserson / E-kniha Adobe ePub DRM
common.buy 132.75 €
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 / Kniha Brožovaná
common.buy 13.24 €
Improving Scalability of Model Checking Software Architectures Bosah Chukwuogo / Kniha Brožovaná
common.buy 48.93 €
Parkinson's Disease and Nonmotor Dysfunction Ronald F. Pfeiffer / Kniha Pevná
common.buy 201.11 €
All the World an Icon Tom Cheetham / Kniha Brožovaná
common.buy 15.76 €
Tattoo Lettering Bible Superior Tattoo / Kniha Brožovaná
common.buy 28.91 €
Social Representations - Explorations in Social Psychology Serge Moscovici / Kniha Pevná
common.buy 82.70 €
Challenging US Foreign Policy B. Sewell / Kniha Pevná
common.buy 55.81 €

Prihlásenie

Prihláste sa k svojmu účtu. Ešte nemáte Libristo účet? Vytvorte si ho teraz!

 
povinné
povinné
Zabudnuté heslo

Nemáte účet? Získajte výhody Libristo účtu!

Vďaka Libristo účtu budete mať všetko pod kontrolou.

Vytvoriť Libristo účet
Knižný radca Libroamiko
Ahoj, som Libroamiko, môžem pomôcť?