- Kilka uwag o pojęciu zupeŀności rachunku zdań. I.Witold A. Pogorzelski - 1968 - Studia Logica 23:43.details
|
|
Logic, semantics, metamathematics.Alfred Tarski - 1956 - Oxford,: Clarendon Press. Edited by John Corcoran & J. H. Woodger.details
|
|
Kilka uwag O pojęciu zupeŀności rachunku zdań. I.Witold A. Pogorzelski - 1968 - Studia Logica 23 (1):43 - 58.details
|
|
Universal Algebra.P. M. Cohn - 1969 - Journal of Symbolic Logic 34 (1):113-114.details
|
|
The mathematics of metamathematics.Helena Rasiowa - 1963 - Warszawa,: Państwowe Wydawn. Naukowe. Edited by Roman Sikorski.details
|
|
The problem of reconstructability of propositional calculi.Marek Tokarz & Ryszard Wójcicki - 1971 - Studia Logica 28 (1):119 - 129.details
|
|
Concerning the method of logical schemes, the notion of logical calculus and the role of consequence relations.Roman Suszko - 1961 - Studia Logica 11 (1):185 - 216.details
|
|
The independence of connectives.Timothy Smiley - 1962 - Journal of Symbolic Logic 27 (4):426-436.details
|
|
On the structural completeness of some pure implicational propositional calculi.Tadeusz Prucnal - 1972 - Studia Logica 30 (1):45 - 52.details
|
|
Formalna teoria wartości logicznych IФормалЯная теория логических значенийA formal theory of the logical values I.Roman Suszko - 1957 - Studia Logica 6 (1):145-237.details
|
|
Formalna teoria wartości logicznych I.Roman Suszko - 1957 - Studia Logica 6 (1):145-237.details
|
|
François Lepage, Elias Thijsse, Heinrich Wansing/In-troduction 1 J. Michael Dunn/Partiality and its Dual 5 Jan van Eijck/Making Things Happen 41 William M. Farmer, Joshua D. Guttman/A Set Theory. [REVIEW]René Lavendhomme, Thierry Lucas & Sequent Calculi - 2000 - Studia Logica 66:447-448.details
|
|
The Mathematics of Metamathematics.Donald Monk - 1963 - Journal of Symbolic Logic 32 (2):274-275.details
|
|
On structural completeness of Łukasiewicz's logics.Marek Tokarz - 1972 - Studia Logica 30 (1):53-58.details
|
|
Algebraic Completeness Results for Dummett's LC and Its Extensions.J. Michael Dunn & Robert K. Meyer - 1971 - Mathematical Logic Quarterly 17 (1):225-230.details
|
|
Logical Systems With Implication And Theories Of Quasi-implicative Algebras.Jerzy Kotas - 1972 - Bulletin of the Section of Logic 1 (1):13-22.details
|
|
O zwiazkach pomiedzy wynikaniem, sprzecznoscia i zupelnoscia.W. Zandarowska - 1966 - Studia Logica 18:165.details
|
|
Logic, Semantics, Metamathematics.Atwell Turquette - 1958 - Philosophical Review 67 (1):113.details
|
|
The algebraic treatment of the methodology of elementary deductive systems.Jerzy Łoś - 1955 - Studia Logica 2 (1):151 - 212.details
|
|
Allgemeine Logische und Mathematische Theorien.Jerzy Kotas & August Pieczkowski - 1970 - Mathematical Logic Quarterly 16 (6):353-376.details
|
|
O związkach pomiędzy wynikaniem, sprzecznością I zupełnością.Wiesŀawa Żandarowska - 1966 - Studia Logica 18 (1):165 - 178.details
|
|