Recursive Functions and Metamathematics: Problems of Completeness and Decidability, Goedel's Theorems - Synthese Library - Roman Murawski - Grāmatas - Springer - 9789048152988 - 2010. gada 6. decembris
Ja vāks un nosaukums nesakrīt, pareizs ir nosaukums

Recursive Functions and Metamathematics: Problems of Completeness and Decidability, Goedel's Theorems - Synthese Library Softcover reprint of hardcover 1st ed. 1999 edition

Cena
€ 188,49

Pasūtīts no attālās noliktavas

Paredzamā piegāde . gada 27. aug. - . gada 10. sept.
Saņemiet paziņojumus par jauniem Roman Murawski izdevumiem
Pievienot savam iMusic vēlmju sarakstam

Not rated yet

Pieejams arī kā:

Recursive Functions and Metamathematics deals with problems of the completeness and decidability of theories, using as its main tool the theory of recursive functions. Recent results and trends have been included, such as undecidable sentences of mathematical content, reverse mathematics.


407 pages, biography

Mediji Grāmatas     Paperback Book   (Grāmata ar mīksto vāku un līmēto muguru)
Izlaists 2010. gada 6. decembris
ISBN13 9789048152988
Izdevēji Springer
Lapas 395
Izmēri 155 × 235 × 21 mm   ·   566 g

Vairāk no tā paša izdevēja