Andrzej Mostowski is an author at University of Warsaw specializing in automated reasoning, engineering, and formal methods.
Top concepts
Automated ReasoningEngineeringFormal MethodsDiscrete MathematicsMathematical FoundationsSemanticsFormal LogicComputer ScienceComputational ComplexityLanguage
Publications per year
1945–2001
26
26
On a generalization of quantifiers
Andrzej Mostowski · Fundamenta Mathematicae · 1957 · 685 citations · Full text
An undecidable arithmetical statement
Andrzej Mostowski · Fundamenta Mathematicae · 1949 · 85 citations · Full text
Axiom of choice for finite sets
Andrzej Mostowski · Fundamenta Mathematicae · 1945 · 76 citations · Full text
Finite Sets, Foundation Of Mathematics, Extremal Set Theory +1
Rows per page
1–5 of 26