Aspects of refutation procedures in the intuitionistic logic and related modal systems / Tomasz Skura
Saved in:
Superior document: | Acta Universitatis Wratislaviensis 2190 |
---|---|
VerfasserIn: | |
Place / Publishing House: | Wrocław : Wydawn. Uniw. Wrocławskiego, 1999 |
Year of Publication: | 1999 |
Language: | English |
Series: | Acta Universitatis Wratislaviensis
2190 Logika 20 |
Subjects: | |
Classification: | 31.10 - Mathematische Logik. Mengenlehre |
Physical Description: | 84 S. |
Notes: | Literaturverz. S. [83] - 84 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
-
An algebraic and Kripke-style approach to a certain extension of intuitionistic logic / Cecylia Rauszer
by: Rauszer, Cecylia
Published: (1980) -
Entwicklungstendenzen nichtklassischer Logiken und Probleme ihrer Geschichtsschreibung / [Jahrestagung d. an Philos. u. Gesellschaftswiss. Einrichtungen d. DDR Tätigen Logiker an d. Sekt. Marxist.-Leninist. Philosophie d. Martin-Luther-Univ. Halle-Wittenberg am 1. Juni 1984]. Hrsg. von Günter Schenk u. Horst Wessel
Published: (1985) -
Past, present, future / by A. N. Prior
by: Prior, Arthur N.
Published: (1978) -
On modal systems in the neighbourhood of the Brauwer logic / Zofia Kostrzycka
by: Kostrzycka, Zofia
Published: (2010) -
Problemy asercji zdaniowej : szkice pragmatyczne / Stanisł aw Majdański
by: Majdański, Stanisław
Published: (1972)