Term logic with choice operator /

Պահպանված է:
Մատենագիտական մանրամասներ
Հիմնական հեղինակ: Hermes, Hans
Ձևաչափ: Գիրք
Լեզու:English
German
Հրապարակվել է: Berlin ; New York : Springer-Verlag, 1970.
Հրատարակություն:1st English ed.
Շարք:Lecture notes in mathematics / Ed. by A. Dold, B. Eckmann 6
Խորագրեր:
Logic, Symbolic and mathematical
Ցուցիչներ: Ավելացրեք ցուցիչ
Չկան պիտակներ, Եղեք առաջինը, ով նշում է այս գրառումը!
Նկարագրություն
Նյութի նկարագրություն:Rev. and enl. translation of Eine Termlogik mit Auswahloperator.
Rev. and enl. translation of the first German edition
Ֆիզիկական նկարագրություն:55 p. ; 26 cm.
Մատենագիտություն:Bibliogr.: p. 53.

Նմանատիպ նյութեր