Springer Nature
Definability And Computability
Miglior prezzo disponibile
239,00$
Springer Nature · Spedizione gratuita
VISAPayPal
Prezzi aggiornati
Specifiche
MarcaSpringer Nature
CondizioneNuovo
Descrizione
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.
Storico prezzi
Ricevi una notifica se il prezzo scende
Ti invieremo un'email quando il prezzo di questo prodotto diminuirà.
- Aggiornamenti dei prezzi in tempo reale
- Oltre 50 negozi monitorati
- Avvisi gratuiti di calo prezzo
- Solo negozi verificati
Avvisami quando il prezzo scende sotto: 239,00$
Prodotti simili
Una selezione di prodotti che potrebbero interessarti. Guarda tutti
Computability And Models
109,99$
Automata And Computability
54,99$
Computability And Decidability
54,99$
Definitions And Definability: Philosophical Perspectives
169,99$
Computability And Complexity
45,49$
Computability And Complexity In Analysis
54,99$
Mathesis Universalis, Computability And Proof
129,99$
Computability And Complexity Theory
74,99$