Оь одном расширении традиционной логики включающем элементарную онтологию и элементарную алгеьру классов (Russisch)
- Neue Suche nach: Иванусь, Б.
- Neue Suche nach: Иванусь, Б.
In:
Studia Logica
;
25
, 1
; 138-139
;
1969
-
ISSN:
- Aufsatz (Zeitschrift) / Elektronische Ressource
-
Titel:Оь одном расширении традиционной логики включающем элементарную онтологию и элементарную алгеьру классов
-
Beteiligte:Иванусь, Б. ( Autor:in )
-
Erschienen in:Studia Logica ; 25, 1 ; 138-139
-
Verlag:
- Neue Suche nach: Springer Netherlands
- Neue Suche nach: Springer Science + Business Media B.V
-
Erscheinungsort:Dordrecht [u.a.]
-
Erscheinungsdatum:1969
-
ISSN:
-
ZDBID:
-
DOI:
-
Medientyp:Aufsatz (Zeitschrift)
-
Format:Elektronische Ressource
-
Sprache:Russisch
- Neue Suche nach: 31.00
- Weitere Informationen zu Basisklassifikation
-
Schlagwörter:
-
Klassifikation:
BKL: 31.00 Mathematik: Allgemeines -
Datenquelle:
Inhaltsverzeichnis – Band 25, Ausgabe 1
Zeige alle Jahrgänge und Ausgaben
Die Inhaltsverzeichnisse werden automatisch erzeugt und basieren auf den im Index des TIB-Portals verfügbaren Einzelnachweisen der enthaltenen Beiträge. Die Anzeige der Inhaltsverzeichnisse kann daher unvollständig oder lückenhaft sein.
- 7
-
On products of structures for generalized logicsWaszkiewicz, Jan / Węglorz, Bogdan et al. | 1969
- 14
-
O produktach struktur dla logik uogólnionychWaszkiewicz, J. / Węgłorz, B. et al. | 1969
- 15
-
О произведениях моделей для оБоБщенных логикВашкевич, Я. / Венгльож, Б. et al. | 1969
- 17
-
Mechanical theorem proving in a certain class of formulae of the predicate calculusOrłowska, Ewa et al. | 1969
- 28
-
Automatyczne dowodzenie twierdzeń W pewnej klasie formuł rachunku predykatówOrłowska, E. et al. | 1969
- 31
-
Informal theory of choice sequencesTroelstra, A. S. et al. | 1969
- 53
-
Nieformalna teoria ciągów z wyboruTroelstra, A. S. et al. | 1969
- 55
-
A reduction in the number of primitive concepts of phonologyBatóg, Tadeusz et al. | 1969
- 59
-
O pewnej reduckji ilości pojęć pierwotnych fonologiiBatóg, T. et al. | 1969
- 61
-
Intensional relationsWoods, John et al. | 1969
- 74
-
Relacje intensjonalneWoods, J. et al. | 1969
- 79
-
The systems of modal calculus of names. IILebiediewa, Swietłana et al. | 1969
- 95
-
Systemy modalnego rachunku nazwLebiediewa, S. et al. | 1969
- 97
-
An extension of the traditional logic containing the elementary ontology and the algebra of classesIwanuś, Bogusław et al. | 1969
- 136
-
O pewnym rozszerzeniu logiki tradycyjnej zawierającym elementarną ontologię i elementarną algebrę klasIwanuś, B. et al. | 1969
- 141
-
On defining meaning familiesKoj, Leon et al. | 1969
- 150
-
O Definiowaniu Rodzin ZnaczeniowychKoj, L. et al. | 1969
- 151
-
Uwagi o dowodzie sformalizowanym i konsekwencjiGumański, Leon et al. | 1969
- 158
-
Remarks on formalized proof and consequenceGumański, L. et al. | 1969
- 159
-
Pojęcie wyrażenia sensownego zawierającego terminy określone definicjami warunkowymiHałkowska, Katarzyna et al. | 1969
- 166
-
The notion of meaningful expression with conditionally defined termsHałkowska, K. et al. | 1969
- 169
-
Z badań nad klasyczną logiką nazwStaszek, Walenty et al. | 1969
- 188
-
On the classical logic of namesStaszek, W. et al. | 1969
- 189
-
RecenzjeKubiński, Tadeusz et al. | 1969
- 195
-
Przegląd czasopism| 1969
- 201
-
Bibliografia| 1969