Skip to content
Narrow screen resolution Wide screen resolution Auto adjust screen size Increase font size Decrease font size Default font size

Philosophia Verlag GmbH


 


Uwe Meixner

Axiomatic Method


ISBN: Order Nr. 90-004

Preis: €2.25 (inkl. 7 % MwSt.)


The axiomatic method is realized, also in the mereological case, by specifying an axiomatic system S, consisting of the axioms of S and the logic of S. The axioms of S are certain basic statements, and the logic of S is a set of basic inference-rules which can be used to generate further statements from given statements (ultimately from the axioms). The specification of S must be effective, that is, it must be in every case decidable whether or not a given statement belongs to the axioms of S, and whether or not a given inference-rule belongs to the logic of S. Relative to the axiomatic system S – the axioms plus the logic – a ..........
Verfügbarkeit

Lieferzeit:

24h.gif

 


In Kürze finden Sie hier Rezensionen zu unseren Titeln

Volltextsuche über


Newsletter