Works matching IS 00393215 AND DT 1967 AND VI 20 AND IP 1
Results: 25
Bibliografia.
- Published in:
- Studia Logica, 1967, v. 20, n. 1, p. 169, doi. 10.1007/BF02340047
- Publication type:
- Article
Artykuły o treści logicznej zawarte w czasopismach nadesłanych do redakcji.
- Published in:
- Studia Logica, 1967, v. 20, n. 1, p. 167, doi. 10.1007/BF02340046
- Publication type:
- Article
Indirect-deduction theorems.
- Published in:
- 1967
- By:
- Publication type:
- Report
Теоремы о дедукции от противного.
- Published in:
- 1967
- By:
- Publication type:
- Report
Twierdzenia o dedukcji niewprost.
- Published in:
- Studia Logica, 1967, v. 20, n. 1, p. 151, doi. 10.1007/BF02340043
- By:
- Publication type:
- Article
A note on the system of propositional calculus with primitive rule of extensionality.
- Published in:
- 1967
- By:
- Publication type:
- Report
Заметка о системе исчисления предложений с основным правилом экстенсиональности
- Published in:
- 1967
- By:
- Publication type:
- Report
Nota o systemie rachunku zdań z pierwotną regułą ekstensjonalności.
- Published in:
- Studia Logica, 1967, v. 20, n. 1, p. 145, doi. 10.1007/BF02340040
- By:
- Publication type:
- Article
A proof of axiomatizability of łukasiewicz's three-valued implicational propositional calculus.
- Published in:
- 1967
- By:
- Publication type:
- Report
Аксиоматизация трёхзначного импликативного исчисления высказываний лукасевича
- Published in:
- 1967
- By:
- Publication type:
- Report
Dowód aksjomatyzowalności trójwartościowego implikacyjnego rachunku zdań łukasiewicza.
- Published in:
- Studia Logica, 1967, v. 20, n. 1, p. 133, doi. 10.1007/BF02340037
- By:
- Publication type:
- Article
Non-classical propositional calculi in relation to methodological patterns of scientific investigation.
- Published in:
- 1967
- By:
- Publication type:
- Report
Неклассические исчисления высказываний и методологические схемы научного исследования
- Published in:
- 1967
- By:
- Publication type:
- Report
Nieklasyczne rachunki zdań a met odologiczne schematy badania naukowego i definicje pojęć asertywnych.
- Published in:
- Studia Logica, 1967, v. 20, n. 1, p. 117, doi. 10.1007/BF02340034
- By:
- Publication type:
- Article
On some new metamathematical results concerning set theory.
- Published in:
- 1967
- By:
- Publication type:
- Report
О Некоторых Метаматематических результатах Касающихся Теории Множеств
- Published in:
- 1967
- By:
- Publication type:
- Report
O niektórych nowych wynikach meta-matematycznych dotyczących teorii mnogości.
- Published in:
- Studia Logica, 1967, v. 20, n. 1, p. 99, doi. 10.1007/BF02340031
- By:
- Publication type:
- Article
Proposition as the connotation of sentence.
- Published in:
- Studia Logica, 1967, v. 20, n. 1, p. 87, doi. 10.1007/BF02340030
- By:
- Publication type:
- Article
Intensional expressions.
- Published in:
- Studia Logica, 1967, v. 20, n. 1, p. 63, doi. 10.1007/BF02340029
- By:
- Publication type:
- Article
Аксиоматизация Некоторых Пробяем Минимизации
- Published in:
- 1967
- By:
- Publication type:
- Report
Aksjomatyzacja pewnych problemów minimalizacji.
- Published in:
- 1967
- By:
- Publication type:
- Report
Axiomatization of certain problems of minimization.
- Published in:
- Studia Logica, 1967, v. 20, n. 1, p. 37, doi. 10.1007/BF02340026
- By:
- Publication type:
- Article
Из формальной теории экстенсии и интенсии
- Published in:
- 1967
- By:
- Publication type:
- Report
Z formalnej teorii ekstensji i intensji.
- Published in:
- 1967
- By:
- Publication type:
- Report
An essay in the formal theory of extension and of intension.
- Published in:
- Studia Logica, 1967, v. 20, n. 1, p. 7, doi. 10.1007/BF02340023
- By:
- Publication type:
- Article