Нашли опечатку? Выделите ее мышкой и нажмите Ctrl+Enter
Название: A Theory of Sets. Volume 18
Автор: Morse A.P.
Аннотация:
Here in a formal inferential system is ensconced an axiomatic logic and set theory. With rudiments and simple versatile prescriptions, ground is prepared for shaping a wide selection of formal inferential languages.
|
|
О проекте