《Journal Of Logical And Algebraic Methods In Programming》是一本由ELSEVIER SCIENCE INC出版商出版的专业工程技术期刊，该刊创刊于2014年，刊期6 issues/year，该刊已被国际权威数据库SCI、SCIE收录。在中科院最新升级版分区表中，该刊分区信息为大类学科：计算机科学...

《Reports On Mathematical Logic》是一本由Jagiellonian University Press出版商出版的专业数学期刊，该刊创刊于1973年，刊期1 issue/year，该刊已被国际权威数据库SCIE收录。在中科院最新升级版分区表中，该刊分区信息为大类学科：数学 4区，小类学科：逻辑学 4区；数学...

《Logic Journal Of The Igpl》是一本由OXFORD UNIV PRESS出版商出版的专业数学期刊，刊期Bimonthly，该刊已被国际权威数据库SCIE收录。在中科院最新升级版分区表中，该刊分区信息为大类学科：数学 4区，小类学科：逻辑学 4区；数学 4区；应用数学 4区；在JCR（Journal Citation...