Bulletin of the Section of Logic - Tom 45, Numer 1 (2016) - DML-PL - Yadda

Pełnotekstowe zasoby PLDML oraz innych baz dziedzinowych są już dostępne w nowej Bibliotece Nauki.
Zapraszamy na https://bibliotekanauki.pl

Numer - szczegóły

Wydawca

Wydawnictwo Uniwersytetu Łódzkiego

Czasopismo

Bulletin of the Section of Logic

Rocznik

2016

Tom

45

Numer

1

Identyfikatory

Okładka

Zawartość wolumenu

1
- artykuł: Elementary Proof of Strong Normalization for Atomic F (Ferreira F., Ferreira G.)
- artykuł: An Alternative Natural Deduction for the Intuitionistic Propositional Logic (Ilić M.)
- artykuł: Commutative Energetic Subsets of BCK-Algebras (Jun Y. B., Roh E. H., Song S. Z.)
- artykuł: A New Arithmetically Incomplete First-Order Extension of Gl All Theorems of Which Have Cut Free Proofs (Tourlakis G.)

rozwiń roczniki

JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.