Filter
Sökt på: Sökresultat
Filter
totalt 3 träffar
Mathesis Universalis, Computability and Proof
inbunden,
2019,
Engelska,
ISBN 9783030204464
In a fragment entitled Elementa Nova Matheseos Universalis (1683?) Leibniz writes “the mathesis […] shall deliver the method through which things that are conceivable can be …
Från
1605 kr
Reuniting the Antipodes - Constructive and Nonstandard Views of the Continuum
häftad,
2010,
Engelska,
ISBN 9789048158850
At first glance, Robinson's original form of nonstandard analysis appears nonconstructive in essence, because it makes a rather unrestricted use of classical logic and set theory …
Reuniting the Antipodes - Constructive and Nonstandard Views of the Continuum
inbunden,
2002,
Engelska,
ISBN 9781402001529
At first glance, Robinson's original form of nonstandard analysis appears nonconstructive in essence, because it makes a rather unrestricted use of classical logic and set theory …