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

Recursive Functions and Metamathematics: Problems of Completeness and Decidability, Goedel's Theorems - Synthese Library 1999 edition

Cena
€ 162,99

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

Paredzamā piegāde . gada 17. - 25. 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.


395 pages, biography

Mediji Grāmatas     Hardcover Book   (Grāmata ar cieto muguriņu un vāku)
Izlaists 1999. gada 30. septembris
ISBN13 9780792359043
Izdevēji Springer
Lapas 395
Izmēri 156 × 234 × 23 mm   ·   757 g
Valoda Angļu  

Vairāk no Roman Murawski

Rādīt visu

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