Bibliografia.
- Published in:
- Studia Logica, 1973, v. 32, n. 1, p. 209, doi. 10.1007/BF02123844
- Publication type:
- Article
Works matching IS 00393215 AND DT 1973 AND VI 32 AND IP 1
Results: 39
1
2
Przegląd czasopism.
- Published in:
- Studia Logica, 1973, v. 32, n. 1, p. 203, doi. 10.1007/BF02123843
- Publication type:
- Article
3
Recenzje.
- Published in:
- 1973
- By:
- Publication type:
- Book Review
4
Определимостя классов графов в исчислении предикатов первого порыдка с равенством
- Published in:
- 1973
- By:
- Publication type:
- Report
5
Definiowalność klas grafów w węższym rachunku predykatów z identycznością.
- Published in:
- 1973
- By:
- Publication type:
- Report
6
Definability of classes of graphs in the first order predicate calculus with identity.
- Published in:
- Studia Logica, 1973, v. 32, n. 1, p. 159, doi. 10.1007/BF02123839
- By:
- Publication type:
- Article
7
Заметки по поводу комлексной логики зиновьева
- Published in:
- 1973
- By:
- Publication type:
- Report
8
Uwagi o logice kompleksowej Zinowjewa.
- Published in:
- 1973
- By:
- Publication type:
- Report
9
Remarks to Zinov'ev's complex logic.
- Published in:
- Studia Logica, 1973, v. 32, n. 1, p. 149, doi. 10.1007/BF02123836
- By:
- Publication type:
- Article
10
Доказательство разрешимости традиционного исчисления имён
- Published in:
- 1973
- By:
- Publication type:
- Report
11
Dowód rozstrzygalności tradycyjnego rachunku nazw.
- Published in:
- 1973
- By:
- Publication type:
- Report
12
Proof of decidability of the traditional calculus of names.
- Published in:
- Studia Logica, 1973, v. 32, n. 1, p. 131, doi. 10.1007/BF02123833
- By:
- Publication type:
- Article
13
Исключение связанных переменных в логике с произвольным квантором
- Published in:
- 1973
- By:
- Publication type:
- Report
14
Eliminacja zmiennych związanych w logice z dowolnym kwantyfikatorem.
- Published in:
- 1973
- By:
- Publication type:
- Report
15
Elimination of bound variables in logic with an arbitrary quantifier.
- Published in:
- Studia Logica, 1973, v. 32, n. 1, p. 117, doi. 10.1007/BF02123830
- By:
- Publication type:
- Article
16
Диограммы для формул интуиционистского исчисления предложений
- Published in:
- 1973
- By:
- Publication type:
- Report
17
Diagramy dla formuł intuicjonistycznego rachunku zdań.
- Published in:
- 1973
- By:
- Publication type:
- Report
18
The diagrams of formulas of the intuitionistic propositional calculus.
- Published in:
- Studia Logica, 1973, v. 32, n. 1, p. 109, doi. 10.1007/BF02123827
- By:
- Publication type:
- Article
19
Доказательство Ł-разрешимости системы S5 льюиса
- Published in:
- 1973
- By:
- Publication type:
- Report
20
Dowód Ł-rozstrzygalności systemu S5 Lewisa.
- Published in:
- 1973
- By:
- Publication type:
- Report
21
Proof of Ł-decidability of Lewis system S5.
- Published in:
- Studia Logica, 1973, v. 32, n. 1, p. 99, doi. 10.1007/BF02123824
- By:
- Publication type:
- Article
22
Доказательство структурной полноты некоторого класса импликативных исчислений высказываний
- Published in:
- 1973
- By:
- Publication type:
- Report
23
Dowód strukturalnej zupełności pewnej klasy implikacyjnych rachunków zdaniowych.
- Published in:
- 1973
- By:
- Publication type:
- Report
24
Proof of structural completeness of a certain class of implicative propositional calculi.
- Published in:
- Studia Logica, 1973, v. 32, n. 1, p. 93, doi. 10.1007/BF02123821
- By:
- Publication type:
- Article
25
Соотношения некоторых понятий полноты структурных пропозициональных исчислений
- Published in:
- Studia Logica, 1973, v. 32, n. 1, p. 91, doi. 10.1007/BF02123820
- By:
- Publication type:
- Article
26
Związki między pewnymi pojęciami zupełności strukturalnych rachunków zdaniowych.
- Published in:
- 1973
- Publication type:
- Report
27
Connections between some notions of completeness of structural propositional calculi.
- Published in:
- Studia Logica, 1973, v. 32, n. 1, p. 77, doi. 10.1007/BF02123818
- By:
- Publication type:
- Article
28
Структуральная полнота исчислений высказываний гёделя и исчисления высказываний дамметта
- Published in:
- 1973
- By:
- Publication type:
- Report
29
Strukturalna zupełność rachunków zdań Gödla i rachunku zdań Dummetta.
- Published in:
- 1973
- By:
- Publication type:
- Report
30
Structural completeness of Gödel's and Dummett's propositional calculi.
- Published in:
- Studia Logica, 1973, v. 32, n. 1, p. 69, doi. 10.1007/BF02123815
- By:
- Publication type:
- Article
31
Релевантные Классические Логики.
- Published in:
- 1973
- By:
- Publication type:
- Report
32
Klasyczne logiki relewantne.
- Published in:
- 1973
- By:
- Publication type:
- Report
33
Classical relevant logics. I.
- Published in:
- Studia Logica, 1973, v. 32, n. 1, p. 51, doi. 10.1007/BF02123812
- By:
- Publication type:
- Article
34
Полная Безотрицателяная Система.
- Published in:
- 1973
- By:
- Publication type:
- Report
35
Pełny system beznegacyjny.
- Published in:
- 1973
- By:
- Publication type:
- Report
36
A complete negationless system.
- Published in:
- Studia Logica, 1973, v. 32, n. 1, p. 41, doi. 10.1007/BF02123809
- By:
- Publication type:
- Article
37
Матричный подход в методологии исчислений высказываний
- Published in:
- 1973
- Publication type:
- Report
38
Matrycowe podejście w metodologii rachunków zdaniowych.
- Published in:
- 1973
- By:
- Publication type:
- Report
39
Matrix approach in methodology of sentential calculi.
- Published in:
- Studia Logica, 1973, v. 32, n. 1, p. 7, doi. 10.1007/BF02123806
- By:
- Publication type:
- Article