The following pages link to Andrzej Grzegorczyk (Q598295):
Displaying 50 items.
- Decidability without mathematics (Q598296) (← links)
- Individualistic formal approach to deontic logic (Q1162501) (← links)
- Non-classical propositional calculi in relation to methodological patterns of scientific investigation (Q1212922) (← links)
- Undecidability without arithmetization (Q1780896) (← links)
- An outline of mathematical logic. Fundamental results and notions explained with all details. Translated from the original Polish by Olgierd Wojtasiewicz and Waclaw Zawadowski (Q1845714) (← links)
- An approach to logical calculus (Q1845873) (← links)
- On the concept of categoricity (Q2538118) (← links)
- Axiomatizability of geometry without points (Q2540886) (← links)
- Classical, relativistic and constructivistic ways of assertion of theorems (Q2555045) (← links)
- The pragmatic foundations of semantics (Q2649512) (← links)
- Computable functionals (Q3226752) (← links)
- On the definition of computable functionals (Q3227569) (← links)
- (Q3228594) (← links)
- Some proofs of undecidability of arithmetic (Q3237141) (← links)
- On the definitions of computable real continuous functions (Q3244109) (← links)
- The classical and the <i>ω</i>-complete arithmetic (Q3252699) (← links)
- (Q3260573) (← links)
- (Q3264232) (← links)
- (Q3279286) (← links)
- (Q3283893) (← links)
- (Q3344169) (← links)
- (Q3509164) (← links)
- A kind of categoricity (Q3843609) (← links)
- (Q3849885) (← links)
- (Q4063132) (← links)
- (Q4067079) (← links)
- (Q4149436) (← links)
- (Q4149738) (← links)
- (Q4382640) (← links)
- (Q4544196) (← links)
- A note on the theory of propositional types (Q5332211) (← links)
- (Q5339292) (← links)
- (Q5341746) (← links)
- (Q5344155) (← links)
- (Q5507499) (← links)
- (Q5565082) (← links)
- (Q5575537) (← links)
- (Q5592221) (← links)
- Recursive objects in all finite types (Q5592241) (← links)
- (Q5600872) (← links)
- Some relational systems and the associated topological spaces (Q5607976) (← links)
- (Q5629622) (← links)
- An unfinitizability proof by means of restricted reduced power (Q5631096) (← links)
- (Q5658069) (← links)
- (Q5663821) (← links)
- (Q5729298) (← links)
- (Q5787450) (← links)
- (Q5815331) (← links)
- (Q5824357) (← links)
- (Q5830647) (← links)
