Found: 26
Select item for more details and to access through your institution.
Undecidability of the homogeneous formulas of degree 3 of the predicate calculus.
- Published in:
- Studia Logica, 1968, v. 22, n. 1, p. 7, doi. 10.1007/BF02125281
- By:
- Publication type:
- Article
Nierozstrzygalność klasy wyrażeń jednorodnych rzędu 3 węższego rachunku predykatów.
- Published in:
- 1968
- By:
- Publication type:
- Report
Неразешимость класса однородных выражений 3-Ей степени узкого исчисления предикатов
- Published in:
- 1968
- By:
- Publication type:
- Report
A propositional calculus in which three mutually undefinable functors are used as primitive terms.
- Published in:
- Studia Logica, 1968, v. 22, n. 1, p. 17, doi. 10.1007/BF02125284
- By:
- Publication type:
- Article
Rachunek zdań, w którym trzy nawzajem nie dające się zdefiniować funktory występują jako terminy pierwotne.
- Published in:
- 1968
- By:
- Publication type:
- Report
Исчисление предложений, в котором три взаимно неопределяемые функтора выступают в качестве первичных терминов
- Published in:
- 1968
- By:
- Publication type:
- Report
A note concerning the theory of descriptions.
- Published in:
- Studia Logica, 1968, v. 22, n. 1, p. 51, doi. 10.1007/BF02125287
- By:
- Publication type:
- Article
W sprawie teorii deskryptów.
- Published in:
- 1968
- By:
- Publication type:
- Report
Относительно теории дескрипций.
- Published in:
- 1968
- By:
- Publication type:
- Report
The proof of the non-existence of a finite matrix adequate for the sentential calculus in which expressions become meaningless.
- Published in:
- Studia Logica, 1968, v. 22, n. 1, p. 57, doi. 10.1007/BF02125290
- By:
- Publication type:
- Article
Dowód nieistnienia skończonej matrycy adekwatnej dla rachunku zdań, w którym wyrażenia tracą sens.
- Published in:
- 1968
- By:
- Publication type:
- Report
Доказательство несуществования конечной адекватной матрицы для исчисления предложений, в котором выражения теряют смысл
- Published in:
- 1968
- By:
- Publication type:
- Report
Twierdzenia o dedukcji dla implikacji zstępujących.
- Published in:
- Studia Logica, 1968, v. 22, n. 1, p. 61, doi. 10.1007/BF02125293
- By:
- Publication type:
- Article
Theorems on deduction for descending implications.
- Published in:
- 1968
- By:
- Publication type:
- Report
Теоремы о дедукции для импликаций уБывающего порядка
- Published in:
- 1968
- By:
- Publication type:
- Report
Klasy normalne I nienormalne A teoriomnogościowe I mereologiczne pojęcie klasy.
- Published in:
- Studia Logica, 1968, v. 22, n. 1, p. 85, doi. 10.1007/BF02125296
- By:
- Publication type:
- Article
Normal and non-normal classes and the set-theoretical and the mereological concept of class.
- Published in:
- 1968
- By:
- Publication type:
- Report
Нормальные и ненормальные классы и теоретико-множественное и мереологиеское понятие класса
- Published in:
- 1968
- By:
- Publication type:
- Report
Algebraiczne ujęcie logiki tradycyjnej.
- Published in:
- Studia Logica, 1968, v. 22, n. 1, p. 99, doi. 10.1007/BF02125299
- By:
- Publication type:
- Article
An algebraic approach to traditional logic.
- Published in:
- 1968
- By:
- Publication type:
- Report
АлгеБраический подход к традиционной логике
- Published in:
- 1968
- By:
- Publication type:
- Report
Problem syntezy sieci w logice progowej. I.
- Published in:
- Studia Logica, 1968, v. 22, n. 1, p. 123, doi. 10.1007/BF02125302
- By:
- Publication type:
- Article
Kolokwium logiki prawa w tuluzie.
- Published in:
- Studia Logica, 1968, v. 22, n. 1, p. 165, doi. 10.1007/BF02125303
- By:
- Publication type:
- Article
Recenzje.
- Published in:
- 1968
- By:
- Publication type:
- Book Review
Przegląd czasopism.
- Published in:
- Studia Logica, 1968, v. 22, n. 1, p. 185, doi. 10.1007/BF02125305
- Publication type:
- Article
Bibliografia.
- Published in:
- Studia Logica, 1968, v. 22, n. 1, p. 189, doi. 10.1007/BF02125306
- Publication type:
- Article