Recursive Functions and Metamathematics: Problems of Completeness and Decidability, Goedel's Theorems - Synthese Library - Roman Murawski - Boeken - Springer - 9789048152988 - 6 december 2010
Indien omslag en titel niet overeenkomen, is de titel correct

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

Prijs
€ 153,99

Besteld in een afgelegen magazijn

Verwachte levering 8 - 16 jan. 2026
Kerstcadeautjes kunnen tot en met 31 januari worden ingewisseld
Voeg toe aan uw iMusic-verlanglijst

Ook verkrijgbaar als:

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

Media Boeken     Paperback Book   (Boek met zachte kaft en gelijmde rug)
Vrijgegeven 6 december 2010
ISBN13 9789048152988
Uitgevers Springer
Pagina's 395
Afmetingen 155 × 235 × 21 mm   ·   566 g

Meer door Roman Murawski

Alles tonen