| Dane szczegółowe: | |
| Producent: | Uniwersytetu Jagiellońskiego |
| Oprawa: | miękka |
| Ilość stron: | 144 s. |
| ISSN: | 0137-2904 |
| Data: | 2007-04-17 |
Opis książki:
PABLO CORDERO, MANUEL ENCISO and INMACULADA P. DE GUZMAN: From the Poset of Literals to a Temporal Negative Normal Form, SAEED SALEHI: Decidable formulas of Intuitionistic Primitive Recursive Arithmetic, ADAM KOLANY: Grabowski Lattices are Generated by Graphs, GRZEGORZ SOZA: Asymptotic Density as a Method of Expressing Quantitative Relations in Intuitionistic Logic, NORIHIRO KAMIDE: A Canonical Model Construction for Substructural Logics with Strong Negation, JOSE M. MENDEZ, FRANCISCO SALTO and GEMMA ROBLES: Anderson and Belnap`s Minimal Positive Logic with Minimal Negation, TADEUSZ LITAK: A Continuum of Incomplete Intermediate Logics, ISABEL M. A. FERREIRIM: ERRATA TO RML 34, A Short Note on Hoops and Continuous t-norms
Książka "Reports on Mathematical Logic No 36" - Paweł M. Idziak, Jerzy Perzanowski (red.) - oprawa miękka - Wydawnictwo Uniwersytetu Jagiellońskiego.