Andrzej Mostowski - Concepedia

Author

Andrzej Mostowski

Also Known As

Andrzej Mostowski, Andrzej W. Mostowski, Andrzej Włodzimierz Mostowski, E Lemmon - Richard Montague, J Mckinsey, John Kemeny, Paul Bernays, Richard Montague, Robert Feys

271

Publications

2.2K

Citations

H-Index

Concepts

All Affiliations

University of Warsaw

About

Andrzej Mostowski is an author at University of Warsaw specializing in automated reasoning, engineering, and formal methods.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	12	12	1.1K
2	Language Studies	2	2	740
3	Business	1	1	31
4	Education	1	1	16
5	Management	1	1	31

Andrzej Mostowski

Publications

1.7K

Citations

H-Index

Page 1

	Year	Citations
On a generalization of quantifiers Andrzej Mostowski Fundamenta Mathematicae EngineeringFormal CalculiSemanticsPublisher SummaryNon-classical Logic	1957	685
Models of axiomatic theories admitting automorphisms Andrzej Ehrenfeucht, Andrzej Mostowski Fundamenta Mathematicae Axiomatic TheoriesAutomated ReasoningModel TheoryFormal SystemFinite Model Theory	1956	139
An undecidable arithmetical statement Andrzej Mostowski Fundamenta Mathematicae EngineeringInaccessible AlephAutomated ReasoningConstructive LogicProof Complexity	1949	85
Axiom of choice for finite sets Andrzej Mostowski Fundamenta Mathematicae Finite SetsFoundation Of MathematicsExtremal Set TheorySet-theoretic Topology	1945	76
On definable sets of positive integers Andrzej Mostowski Fundamenta Mathematicae Definable SetsComputational Number TheoryExtremal Set TheoryDiscrete MathematicsDiophantine Analysis	1947	75
On direct products of theories Andrzej Mostowski Journal of Symbolic Logic Algebraic LogicAbstract AlgebraRepresentation TheoryPrimitive NotionsPrimitive Terms	1952	69
On computable sequences Andrzej Mostowski Fundamenta Mathematicae EngineeringComputable SequencesComputational Model TheoryFormal MethodsComputational Complexity	1957	61
Models of axiomatic systems Andrzej Mostowski Fundamenta Mathematicae EngineeringAutomated ReasoningFormal MethodsModel TheoryFormal System	1952	57
Some impredicative definitions in the axiomatic set theory Andrzej Mostowski Fundamenta Mathematicae Formal LogicEngineeringSubstructural LogicAutomated ReasoningFormal Methods	1950	55
On the rules of proof in the pure functional calculus of the first order Andrzej Mostowski Journal of Symbolic Logic Formal LogicFirst OrderEngineeringClassical LogicFormal Methods	1951	45

Page 1