Works matching IS 00393215 AND DT 1969 AND VI 25 AND IP 1
Results: 36
Bibliografia.
- Published in:
- Studia Logica, 1969, v. 25, n. 1, p. 201, doi. 10.1007/BF02297297
- Publication type:
- Article
Przegląd czasopism.
- Published in:
- Studia Logica, 1969, v. 25, n. 1, p. 195, doi. 10.1007/BF02297296
- Publication type:
- Article
Recenzje.
- Published in:
- 1969
- By:
- Publication type:
- Book Review
On the classical logic of names.
- Published in:
- 1969
- By:
- Publication type:
- Report
Исследования из области классической логики названий
- Published in:
- 1969
- By:
- Publication type:
- Report
Z badań nad klasyczną logiką nazw.
- Published in:
- Studia Logica, 1969, v. 25, n. 1, p. 169, doi. 10.1007/BF02297292
- By:
- Publication type:
- Article
The notion of meaningful expression with conditionally defined terms.
- Published in:
- 1969
- By:
- Publication type:
- Report
Понятие осмысленного выражения включающего условно определяемые термины
- Published in:
- 1969
- By:
- Publication type:
- Report
Pojęcie wyrażenia sensownego zawierającego terminy określone definicjami warunkowymi.
- Published in:
- Studia Logica, 1969, v. 25, n. 1, p. 159, doi. 10.1007/BF02297289
- By:
- Publication type:
- Article
Remarks on formalized proof and consequence.
- Published in:
- 1969
- By:
- Publication type:
- Report
К вопросу о формализированном доказательстве и консеквенции
- Published in:
- 1969
- By:
- Publication type:
- Report
Uwagi o dowodzie sformalizowanym i konsekwencji.
- Published in:
- Studia Logica, 1969, v. 25, n. 1, p. 151, doi. 10.1007/BF02297286
- By:
- Publication type:
- Article
ОБ Орределении Семейств Значений.
- Published in:
- 1969
- By:
- Publication type:
- Report
O Definiowaniu Rodzin Znaczeniowych.
- Published in:
- 1969
- By:
- Publication type:
- Report
On defining meaning families.
- Published in:
- Studia Logica, 1969, v. 25, n. 1, p. 141, doi. 10.1007/BF02297283
- By:
- Publication type:
- Article
Оь одном расширении традиционной логики включающем элементарную онтологию и элементарную алгеьру классов
- Published in:
- 1969
- By:
- Publication type:
- Report
Интенсиональные отношения.
- Published in:
- 1969
- By:
- Publication type:
- Report
An extension of the traditional logic containing the elementary ontology and the algebra of classes.
- Published in:
- Studia Logica, 1969, v. 25, n. 1, p. 97, doi. 10.1007/BF02297280
- By:
- Publication type:
- Article
Системы модального исчисления имён.
- Published in:
- 1969
- By:
- Publication type:
- Report
Systemy modalnego rachunku nazw.
- Published in:
- 1969
- By:
- Publication type:
- Report
The systems of modal calculus of names. II.
- Published in:
- Studia Logica, 1969, v. 25, n. 1, p. 79, doi. 10.1007/BF02297277
- By:
- Publication type:
- Article
O pewnym rozszerzeniu logiki tradycyjnej zawierającym elementarną ontologię i elementarną algebrę klas.
- Published in:
- 1969
- By:
- Publication type:
- Report
Relacje intensjonalne.
- Published in:
- 1969
- By:
- Publication type:
- Report
Intensional relations.
- Published in:
- Studia Logica, 1969, v. 25, n. 1, p. 61, doi. 10.1007/BF02297274
- By:
- Publication type:
- Article
Сокращение числа первичных теминов фонологии
- Published in:
- 1969
- By:
- Publication type:
- Report
O pewnej reduckji ilości pojęć pierwotnych fonologii.
- Published in:
- 1969
- By:
- Publication type:
- Report
A reduction in the number of primitive concepts of phonology.
- Published in:
- Studia Logica, 1969, v. 25, n. 1, p. 55, doi. 10.1007/BF02297271
- By:
- Publication type:
- Article
Нефомальная Тэопия Последовательностей из выБора
- Published in:
- 1969
- By:
- Publication type:
- Report
Nieformalna teoria ciągów z wyboru.
- Published in:
- 1969
- By:
- Publication type:
- Report
Informal theory of choice sequences.
- Published in:
- Studia Logica, 1969, v. 25, n. 1, p. 31, doi. 10.1007/BF02297268
- By:
- Publication type:
- Article
Алгорифм доказательста теорем в одном классе формул исчисления предикатов
- Published in:
- 1969
- By:
- Publication type:
- Report
Automatyczne dowodzenie twierdzeń W pewnej klasie formuł rachunku predykatów.
- Published in:
- 1969
- By:
- Publication type:
- Report
Mechanical theorem proving in a certain class of formulae of the predicate calculus.
- Published in:
- Studia Logica, 1969, v. 25, n. 1, p. 17, doi. 10.1007/BF02297265
- By:
- Publication type:
- Article
О произведениях моделей для оБоБщенных логик
- Published in:
- 1969
- By:
- Publication type:
- Report
O produktach struktur dla logik uogólnionych.
- Published in:
- 1969
- By:
- Publication type:
- Report
On products of structures for generalized logics.
- Published in:
- Studia Logica, 1969, v. 25, n. 1, p. 7, doi. 10.1007/BF02297262
- By:
- Publication type:
- Article