Bulletin of the Section of Logic
Tom 28 ( 1999), Nr 4

Wydawnictwo Uniwersytetu Łódzkiego
ISSN 0138-0680

Zaznaczone:

Why ultrafilters for almost all

Paulo A.S. Veloso
Exhaustively axiomatizing RMO-> with a select list of representative theses including restricted mingle principles

Francisco Salto Gemma Robles Jose M. Mendez
Partially-elementary extension Kripke models and Burr's hierarchy

Tomasz Połacik
A note on the concept of satisfaction in intuitionistic predicate logic

Janusz Maciaszek
An infinitary extension of MALL-

Luiz Carlos P.D. Pereira Edward Hermann Haeusler

Muzeum Historii
Polski w Warszawie

Materiały zamieszczone na stronie są dostępna na licencji CC BY-SA
Projekt graficzny serwisu: Veshch