Andrzej Grzegorczyk

Available identifiers

zbMath Open grzegorczyk.andrzejWikidataQ4759606 ScholiaQ4759606MaRDI QIDQ598295

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q3509164	2008-07-01	Paper
Undecidability without arithmetization	2005-06-14	Paper
Decidability without mathematics	2004-08-06	Paper
https://portal.mardi4nfdi.de/entity/Q4544196	2002-10-27	Paper
https://portal.mardi4nfdi.de/entity/Q4382640	1998-03-22	Paper
Individualistic formal approach to deontic logic	1981-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3344169	1981-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4149436	1977-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4149738	1977-01-01	Paper
An outline of mathematical logic. Fundamental results and notions explained with all details. Translated from the original Polish by Olgierd Wojtasiewicz and Waclaw Zawadowski	1974-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4067079	1974-01-01	Paper
An approach to logical calculus	1972-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5658069	1972-01-01	Paper
Classical, relativistic and constructivistic ways of assertion of theorems	1971-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4063132	1971-01-01	Paper
An unfinitizability proof by means of restricted reduced power	1971-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5663821	1971-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5600872	1970-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5629622	1970-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5592221	1969-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5565082	1968-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5575537	1968-01-01	Paper
Non-classical propositional calculi in relation to methodological patterns of scientific investigation	1967-01-01	Paper
Some relational systems and the associated topological spaces	1967-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5507499	1965-01-01	Paper
A note on the theory of propositional types	1964-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5339292	1964-01-01	Paper
Recursive objects in all finite types	1964-01-01	Paper
On the concept of categoricity	1962-01-01	Paper
A kind of categoricity	1962-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3849885	1962-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5729298	1962-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3279286	1961-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3283893	1961-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5341746	1961-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5344155	1961-01-01	Paper
Axiomatizability of geometry without points	1960-01-01	Paper
The classical and the ω-complete arithmetic	1959-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3260573	1959-01-01	Paper
On the definitions of computable real continuous functions	1957-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3264232	1957-01-01	Paper
Some proofs of undecidability of arithmetic	1956-01-01	Paper
Computable functionals	1955-01-01	Paper
On the definition of computable functionals	1955-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3228594	1955-01-01	Paper
Elementarily definable analysis	1955-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5830647	1954-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5824357	1953-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5815331	1952-01-01	Paper
The pragmatic foundations of semantics	1951-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5787450	1949-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Andrzej Grzegorczyk