Zygmunt Ratajczyk

Publication Activity (10 Years)

Years Active: 1982-1993
Publications (10 Years): 0

Publications

Zygmunt Ratajczyk
Subsystems of True Arithmetic and Hierarchies of Functions. Ann. Pure Appl. Log. 64 (2) (1993)
Henryk Kotlarski, Zygmunt Ratajczyk
More on induction in the language with a satisfaction class. Math. Log. Q. 36 (5) (1990)
Henryk Kotlarski, Zygmunt Ratajczyk
Inductive Full Satisfaction Classes. Ann. Pure Appl. Log. 47 (3) (1990)
Zygmunt Ratajczyk
. Math. Log. Q. 28 (8-12) (1982)