Bibliografia.
- Published in:
- Studia Logica, 1969, v. 25, n. 1, p. 201, doi. 10.1007/BF02297297
- Publication type:
- Article
Works matching IS 00393215 AND DT 1969 AND VI 25 AND IP 1
Results: 36
1
2
Przegląd czasopism.
- Published in:
- Studia Logica, 1969, v. 25, n. 1, p. 195, doi. 10.1007/BF02297296
- Publication type:
- Article
3
Recenzje.
- Published in:
- 1969
- By:
- Publication type:
- Book Review
4
On the classical logic of names.
- Published in:
- 1969
- By:
- Publication type:
- Report
5
Исследования из области классической логики названий
- Published in:
- 1969
- By:
- Publication type:
- Report
6
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
7
The notion of meaningful expression with conditionally defined terms.
- Published in:
- 1969
- By:
- Publication type:
- Report
8
Понятие осмысленного выражения включающего условно определяемые термины
- Published in:
- 1969
- By:
- Publication type:
- Report
9
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
10
Remarks on formalized proof and consequence.
- Published in:
- 1969
- By:
- Publication type:
- Report
11
К вопросу о формализированном доказательстве и консеквенции
- Published in:
- 1969
- By:
- Publication type:
- Report
12
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
13
ОБ Орределении Семейств Значений.
- Published in:
- 1969
- By:
- Publication type:
- Report
14
O Definiowaniu Rodzin Znaczeniowych.
- Published in:
- 1969
- By:
- Publication type:
- Report
15
On defining meaning families.
- Published in:
- Studia Logica, 1969, v. 25, n. 1, p. 141, doi. 10.1007/BF02297283
- By:
- Publication type:
- Article
16
Оь одном расширении традиционной логики включающем элементарную онтологию и элементарную алгеьру классов
- Published in:
- 1969
- By:
- Publication type:
- Report
17
O pewnym rozszerzeniu logiki tradycyjnej zawierającym elementarną ontologię i elementarną algebrę klas.
- Published in:
- 1969
- By:
- Publication type:
- Report
18
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
19
Системы модального исчисления имён.
- Published in:
- 1969
- By:
- Publication type:
- Report
20
Systemy modalnego rachunku nazw.
- Published in:
- 1969
- By:
- Publication type:
- Report
21
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
22
Интенсиональные отношения.
- Published in:
- 1969
- By:
- Publication type:
- Report
23
Relacje intensjonalne.
- Published in:
- 1969
- By:
- Publication type:
- Report
24
Intensional relations.
- Published in:
- Studia Logica, 1969, v. 25, n. 1, p. 61, doi. 10.1007/BF02297274
- By:
- Publication type:
- Article
25
Сокращение числа первичных теминов фонологии
- Published in:
- 1969
- By:
- Publication type:
- Report
26
O pewnej reduckji ilości pojęć pierwotnych fonologii.
- Published in:
- 1969
- By:
- Publication type:
- Report
27
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
28
Нефомальная Тэопия Последовательностей из выБора
- Published in:
- 1969
- By:
- Publication type:
- Report
29
Nieformalna teoria ciągów z wyboru.
- Published in:
- 1969
- By:
- Publication type:
- Report
30
Informal theory of choice sequences.
- Published in:
- Studia Logica, 1969, v. 25, n. 1, p. 31, doi. 10.1007/BF02297268
- By:
- Publication type:
- Article
31
Алгорифм доказательста теорем в одном классе формул исчисления предикатов
- Published in:
- 1969
- By:
- Publication type:
- Report
32
Automatyczne dowodzenie twierdzeń W pewnej klasie formuł rachunku predykatów.
- Published in:
- 1969
- By:
- Publication type:
- Report
33
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
34
О произведениях моделей для оБоБщенных логик
- Published in:
- 1969
- By:
- Publication type:
- Report
35
O produktach struktur dla logik uogólnionych.
- Published in:
- 1969
- By:
- Publication type:
- Report
36
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