Andrzej Grzegorczyk - Concepedia

Author

Andrzej Grzegorczyk

University of Warsaw ORCID

Also Known As

A. Grzegorczyk, Andrzej Grzegorczyk, Grzegorczyk, A., Grzegorczyk, Andrzej

Publications

1.6K

Citations

H-Index

Concepts

All Affiliations

University of Warsaw

About

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

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	5	5	467
2	Language Studies	2	2	75
3	Computer Science	2	2	341
4	Linguistics	2	2	75
5	Cognitive Science	1	1	13

Andrzej Grzegorczyk

Publications

1.4K

Citations

H-Index

Page 1

	Year	Citations
Some classes of recursive functions Andrzej Grzegorczyk Function TheoryRecursive FunctionsRecursive FunctionComputability Theory	1964	305
On the definitions of computable real continuous functions Andrzej Grzegorczyk Fundamenta Mathematicae EngineeringComputational Model TheoryFormal MethodsComputer ScienceFormal Verification	1957	291
Computable functionals Andrzej Grzegorczyk Fundamenta Mathematicae	1955	195
Undecidability of Some Topological Theories Andrzej Grzegorczyk Fundamenta Mathematicae Topological TheoriesTopological PropertySet-theoretic TopologyModel Theory	1951	109
Some relational systems and the associated topological spaces Andrzej Grzegorczyk Fundamenta Mathematicae Automated ReasoningSet-theoretic TopologyTopological RepresentationTopological PropertyRelational Systems	1967	85
A Philosophically Plausible Formal Interpretation of Intuitionistic Logic Andrzej Grzegorczyk Indagationes Mathematicae (Proceedings) Intuitionistic LogicNon-classical LogicAutomated ReasoningConstructive LogicSemantics	1964	81
The systems of Leśniewski in relation to contemporary logical research Andrzej Grzegorczyk Studia Logica Philosophy Of LanguageAutomated ReasoningPhilosophy Of LogicContemporary Logical ResearchEpistemology	1955	62
Undecidability without Arithmetization Andrzej Grzegorczyk Studia Logica Cryptographic PrimitiveEngineeringVerificationFormal MethodsFormal Verification	2005	55
The classical and the <i>ω</i>-complete arithmetic Andrzej Grzegorczyk, A Mostowski, C. Ryll–Nardzewski Journal of Symbolic Logic Formal LogicFormal SystemsEngineeringAutomated ReasoningMulti-sorted Logic	1958	55
Axiomatizability of geometry without points Andrzej Grzegorczyk Synthese Foundation Of MathematicsFinite GeometrySet-theoretic TopologyGeometry	1960	52

Page 1