{"product_id":"diagonalization-in-formal-mathematics","title":"Diagonalization in Formal Mathematics","description":"In this book, Paulo Guilherme Santos studies diagonalization in formal mathematics from logical aspects to everyday mathematics. He starts with a study of the diagonalization lemma and its relation to the strong diagonalization lemma. Finally, the author studies a general theory of diagonalization with the help of examples from mathematics.","brand":"EMKA","offers":[{"title":"Default Title","offer_id":51514058244427,"sku":"9783658291105","price":68.89,"currency_code":"EUR","in_stock":true}],"url":"https:\/\/emka.si\/products\/diagonalization-in-formal-mathematics","provider":"EMKA","version":"1.0","type":"link"}