Proof systems for logics based on non-deterministic multiple - valued structures / Arnon Avron, Beata Konikowska.
Rodzaj materiału:
TekstJęzyk: angielski Język streszczenia: polski Serie: Prace IPI PAN ; 976Szczegóły wydania: Warsaw : Wydaw. Instytutu Podstaw Informatyki PAN, 2004.Opis: 26 s. ; 21 cmTematy:
| Typ dokumentu | Obecna biblioteka | Kolekcja | Sygnatura | Status | Kod kreskowy | |
|---|---|---|---|---|---|---|
| Niewypożyczane | Biblioteka Politechniki Poznańskiej w czytelni | czytelnia czasopism | Cz 3163 | Dostępny | czp3163 ac |
Liczba zamówień: 0
Bibliogr. s. 24-25.
This research was supported by The Israel Science Foundation founded by The Israel Academy of Sciences and Humanities
Streszcz. pol.