51

Über die Regeln des Aussagenkalküls

Year:
1953
File:
PDF, 2.57 MB
1953
52

System logiczny bez operatorów / Логическая система без операторов

Year:
1955
Language:
polish
File:
PDF, 2.71 MB
polish, 1955
53

Teoria zdań odrzuconych. II

Year:
1972
Language:
polish
File:
PDF, 120 KB
polish, 1972
54

Proof of axiomatizability of full many-valued systems of calculus of propositions

Year:
1971
Language:
english
File:
PDF, 804 KB
english, 1971
55

St. Leśniewski's Protothetics

Year:
1953
Language:
english
File:
PDF, 6.10 MB
english, 1953
57

S. Leśniewski's Calculus of Names

Year:
1955
Language:
english
File:
PDF, 6.90 MB
english, 1955
59

An Extension of the Algebra of Sets

Year:
1972
Language:
english
File:
PDF, 2.61 MB
english, 1972
60

System logiczny bez operatorów

Year:
1955
Language:
polish
File:
PDF, 726 KB
polish, 1955
61

A variant of the proof of the completeness of the first order functional calculus

Year:
1961
Language:
english
File:
PDF, 273 KB
english, 1961
62

Proof of Ł-decidability of Lewis system S5

Year:
1973
Language:
english
File:
PDF, 312 KB
english, 1973
63

Logika w dowodzeniu i kierowaniuby Stanisław Józef Sokołowski

Year:
1973
Language:
polish
File:
PDF, 382 KB
polish, 1973
64

Pewien wariant dowodu pełności węższego rachunku funkcyjneogo

Year:
1961
Language:
polish
File:
PDF, 62 KB
polish, 1961
65

Dowód Ł-rozstrzygalności systemu S5 Lewisa

Year:
1973
File:
PDF, 22 KB
1973
66

Uwagi o pewnym szkolnym podręczniku matematyki

Year:
1970
Language:
polish
File:
PDF, 510 KB
polish, 1970
68

A logical system without operators

Year:
1955
Language:
english
File:
PDF, 150 KB
english, 1955
69

Towards a generalized mereology of Leśniewski

Year:
1958
Language:
english
File:
PDF, 1.27 MB
english, 1958
70

A criterion of fullness of many-valued systems of propositional logic

Year:
1972
Language:
english
File:
PDF, 264 KB
english, 1972
71

Some remarks on three-valued logic of J. Łukasiewicz

Year:
1967
Language:
english
File:
PDF, 935 KB
english, 1967
72

Recenzje

Year:
1971
Language:
polish
File:
PDF, 668 KB
polish, 1971
73

The Logical Works of J. Łukasiewicz

Year:
1958
Language:
english
File:
PDF, 6.28 MB
english, 1958
74

Kilka uwag o logice trójwartościowej Łukasiewicza

Year:
1967
Language:
polish
File:
PDF, 69 KB
polish, 1967
75

Próba uogólnienia mereologii St. Leśniewskiego

Year:
1958
Language:
polish
File:
PDF, 207 KB
polish, 1958
77

O pewnych fragmentarycznych systemach rachunku żdań

Year:
1958
Language:
polish
File:
PDF, 1.09 MB
polish, 1958