Բեռնվում է…

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
Խորագրեր:
Ցուցիչներ: Ավելացրեք ցուցիչ
Չկան պիտակներ, Եղեք առաջինը, ով նշում է այս գրառումը!

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