PL
|
EN
Nowa wersja platformy, zawierająca wyłącznie zasoby pełnotekstowe, jest już dostępna.
Przejdź na
https://bibliotekanauki.pl
Szukaj
Przeglądaj
Pomoc
O nas
Preferencje
Polski
English
Język
Widoczny
[Schowaj]
Abstrakt
10
20
50
100
Liczba wyników
Numer - szczegóły
Adres strony
Kopiuj
Wydawca
Uniwersytet Mikołaja Kopernika (Nicolaus Copernicus University in Toruń)
Czasopismo
Logic and Logical Philosophy
Rocznik
2014
Tom
23
Numer
3
Identyfikatory
Okładka
Zawartość wolumenu
3
artykuł:
Propositional logic extended with a pedagogically useful relevant implication
(
Batens D.
), s. 245–276
artykuł:
Simulation Logic
(
Allwein G.
,
Harrison W. L.
,
Andrews D.
), s. 277–299
artykuł:
Proof theory of epistemic logic of programs
(
Maffezioli P.
,
Naibo A.
), s. 301–328
artykuł:
On the proof-theory of a first-order extension of GL
(
Schwartz Y.
,
Tourlakis G.
), s. 329–363
artykuł:
Book Reviews
(
Torriani G. T.
), s. 365–368
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ć.