Carl Mummert – författare
Visar alla böcker från författaren Carl Mummert. Handla med fri frakt och snabb leverans.
3 produkter
Reverse Mathematics
Problems, Reductions, and Proofs
Av Damir D. Dzhafarov, Carl Mummert
Inbunden, 2022
667 kr
Lägg i varukorg
Reverse mathematics studies the complexity of proving mathematical theorems and solving mathematical problems. Typical questions include: Can we prove this result without first proving that one? Can a computer solve this problem? A highly active part of mathematical logic and computability theory, …
Reverse Mathematics
Problems, Reductions, and Proofs
Av Carl Mummert, Damir D. Dzhafarov
E-bok, 2022
978 kr
Lägg i varukorg
Reverse mathematics studies the complexity of proving mathematical theorems and solving mathematical problems. Typical questions include: Can we prove this result without first proving that one? Can a computer solve this problem? A highly active part of mathematical logic and computability theory, …
Reverse Mathematics
Problems, Reductions, and Proofs
Av Damir D. Dzhafarov, Carl Mummert
Häftad, 2023
461 kr
Lägg i varukorg
Reverse mathematics studies the complexity of proving mathematical theorems and solving mathematical problems. Typical questions include: Can we prove this result without first proving that one? Can a computer solve this problem? A highly active part of mathematical logic and computability theory, …
