Jacob T. Schwartz Forfatter
-
Theory of Money (Bog, Hardback, Engelsk)
This title, first published in 1965, provides an analysis of the forces and mechanisms governing the formation of the overall level of money prices. Even though this problem has a long... Læs mere
Levering: 6 - 9 hverdage -
Computational Logic and Set Theory: Applying Formalized Logic to Analysis (Bog, Hardback, Engelsk)
Schwartz on computational logic and set theory and its application to proof verification techniques, culminating in the ÆtnaNova system, a prototype computer program designed to verify the correctness of mathematical proofs presented in the language of set theory.
Levering: Skaffevare (forvent 14 - 30 hverdage)
