Reports on Mathematical Logic No 35.
Paweł M. Idziak, Jerzy Perzanowski
(red.)Dane szczegółowe: | |
Wydawca: | Wydawnictwo Uniwersytetu Jagiellońskiego |
Oprawa: | miękka |
Ilość stron: | 168 s. |
Wymiar: | 176x250 mm |
EAN: | 9788323315025 |
ISBN: | 83-233-1502-7 |
Data: | 2007-04-13 |
Opis książki:
CAMILLO FIORENTINI: Hypercanonicity, extensive canonicity, canonicity and strong completeness of intermediate propositional logics. JOSEF W. DEGEN: Proof Theory for Finitely Valid Sentences. ROBERT COWEN: Property S. JOANNA GRYGIEL: Boolean constructions of independent sets of generators for filters. PIOTR WOJTYLAK and ANDZREJ WROŃSKI: On the Problem of R. E. Tax. GEORGE GEORGESCU: Some model theory for probability structures. JOSEP MARIA FONT, RAMON JANSANA and DON PIGOZZI: Fully Adequate Gentzen Systems and the Deduction Theoren. KATARZYNA PAŁASIŃSKA: Some comments on the paper "Implication Systems for many-dimensional Logics" by A. Pynko.
Książka "Reports on Mathematical Logic No 35." - Paweł M. Idziak, Jerzy Perzanowski (red.) - oprawa miękka - Wydawnictwo Uniwersytetu Jagiellońskiego.