Формальный вывод и логичечкие исчиления
Үндсэн зохиолч: | Смирнов В.А |
---|---|
Байгууллагын зохиогч: | АН СССР Ин-т философии |
Формат: | Ном |
Хэл сонгох: | Undetermined |
Хэвлэсэн: |
М
Наука
1972
|
Ижил төстэй зүйлс
-
Формальный вывод и логичечкие исчиления
-н: Смирнов В.А
Хэвлэсэн: (1972) -
Логический вывод
Хэвлэсэн: (1979) -
Логический вывод
Хэвлэсэн: (1979) -
Логический вывод
Хэвлэсэн: (1979) -
Вывод пчелиных маток
-н: Морзе Р.А
Хэвлэсэн: (1983)