Submitted on: 24 June 2018.
Revised on: 03 August 2018.
Accepted on: 15 August 2018.
Reports on Mathematical Logic---JAGIELLONIAN UNIV, THEORETICAL COMPUTER SCIENCE DEPT
http://reply.papertrans.cn/3/264/26336/26336-32.png
Submitted on: 01 August 2018.
Revised on: 08 August 2018.
Accepted on: 16 August 2018.
Reports on Mathematical Logic
Submitted on: 22 September 2002.
Revised on: 23 October 2002.
Accepted on: 02 November 2002.
Reports on Mathematical Logic---JAGIELLONIAN UNIV, THEORETICAL COMPUTER SCIENCE DEPT
http://reply.papertrans.cn/3/264/26336/26336-35.png
http://reply.papertrans.cn/3/264/26336/26336-36.png