Verifică starea comenzii
LIBRISTO
LIBROAMANTO
obligatoriu
Parolă uitată
Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit
0
Transport gratuit la punctele de livrare Pick Up peste 349.00 lei
Packeta 15.00 lei Serviciul de curierat Cargus 28.00 lei Easybox 20.00 lei FAN Courier 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier Sameday 24.00 lei Curier DPD 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile peste 349,00 lei.

Definability and Computability

Limba englezăengleză
Carte Copertă tare
Carte Definability and Computability Yuri L. Ershov
Codul Libristo: 05246929
Editura Springer, Berlin, noiembrie 1995
In this book, Yurii L. Ershov posits the view that computability-in the broadest sense-can be regard... Descrierea completă
? points 577 b
1 246.77 lei
În depozitul extern Expediem în 10-13 zile

Până la 30 de zile pentru returnare

Clienții au cumpărat de asemenea

PATCHWORK Y BORDADO PARA LAS CUATRO ESTACIONES GAIL PAN / Carte Copertă tare
common.buy 88.18 lei
Marketingkonzepte fur jedermann Dirk Geest / Carte Carte broșată
common.buy 75.22 lei
The Last Book / Carte Copertă tare
common.buy 240.51 lei

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.

Actriță & Poliglotă
EWA KASP pentru
Redă videoclipul
Ewa Kasp
Libristo are cea mai mare selecție de literatură în limbi străine. De aceea îmi cumpăr cărțile de aici.

Informații despre carte

Titlu complet Definability and Computability
Autor Yuri L. Ershov
Limba engleză
Legare Carte - Copertă tare
Data publicării 1996
Număr pagini 264
EAN 9780306110399
ISBN 0306110393
Codul Libristo 05246929
Editura Springer, Berlin
Greutatea 576
Dimensiuni 155 x 235 x 19

Categorii

Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic
Dăruiește această carte chiar astăzi
Este foarte ușor
1 Adaugă cartea în coș și selectează Livrează ca un cadou 2 Îți vom trimite un voucher în schimb 3 Cartea va ajunge direct la adresa destinatarului

Ar putea de asemenea, să te intereseze

Plasmonic Fano Resonators for Novel Metamaterial Applications Amin Muhammad / Carte Carte broșată
common.buy 334.93 lei
Challenging US Foreign Policy B. Sewell / Carte Copertă tare
common.buy 305.77 lei
Social Representations - Explorations in Social Psychology Serge Moscovici / Carte Copertă tare
common.buy 432.36 lei
Tattoo Lettering Bible Superior Tattoo / Carte Carte broșată
common.buy 169.84 lei
All the World an Icon Tom Cheetham / Carte Carte broșată
common.buy 88.60 lei
Parkinson's Disease and Nonmotor Dysfunction Ronald F. Pfeiffer / Carte Copertă tare
common.buy 1 110.43 lei
Improving Scalability of Model Checking Software Architectures Bosah Chukwuogo / Carte Carte broșată
common.buy 282.22 lei
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 / Carte Carte broșată
common.buy 78.64 lei
The Last Tiger Brad Riew / Carte Carte broșată
common.buy 56.43 lei

Logare

Conectare la contul de utilizator Încă nu ai un cont Libristo? Crează acum!

 
obligatoriu
obligatoriu
Parolă uitată

Nu ai un cont? Beneficii cu contul Libristo!

Datorită contului Libristo, vei avea totul sub control.

Creare cont Libristo
Consilier de cărți Libroamiko
Bună ziua, sunt Libroamiko, vă pot ajuta?