L. Dubikajtis

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
0.1. Historical note Fifty years ago A.Mostowski published in the Journal of Symbolic Logic a paper in which he gives the definition of a new system F ∗ p of first order predicate calculus F 1 p . The idea of Mostowski (cf. Grzegorzczyk [1], p.171) was to restrict the logic to the predicate calculus laws valid in all universes, including Received 31(More)
  • 1