北京大学图书馆所购买的逻辑学相关期刊
附件:    logic related journals.xls   

 

 

详情请查看附件。此表由图书馆信息咨询部的赵飞老师和哲学系王彦晶老师共同整理。这些资源在校内网络中可以使用,如果使用中有什么问题,请联系:

 

图书馆信息咨询部
电话:62753504
e-mail:
is@lib.pku.edu.cn

赵飞老师:zhaof@lib.pku.edu.cn

 

 

序号

期刊刊名

链接入口

ISSN

来源数据库

起止日期

1

ACM Transactions on Computational Logic

ACM Transactions on Computational Logic (TOCL)

1529-3785

ACM Digital Library--美国计算机协会电子期刊、会议录

2000-

ACM Transactions on Computational Logic (TOCL)

1529-3785

ACM Digital Library--美国计算机协会电子期刊、会议录

2000-

3

Algebra and Logic

Algebra and Logic

0002-5232

Kluwer Online--800种电子期刊镜像服务网站

2000.11-

4

Algebra Universalis

algebra universalis

0002-5240

Springer LINK--德国施普林格(Springer-Verlag)电子期刊及丛书

1971-

5

Annals of Mathematics and Artificial Intelligence

Annals of Mathematics and Artificial Intelligence

1012-2443

Springer LINK--德国施普林格(Springer-Verlag)电子期刊及丛书

1990-

Annals of Mathematics and Artificial Intelligence

1012-2443

Kluwer Online--800种电子期刊镜像服务网站

1997-

6

Annals of Pure and Applied Logic

Annals of Pure and Applied Logic

0168-0072

Elsevier Science--学术期刊数据库

1995--

7

Archive for Mathematical Logic

Archive for Mathematical Logic

0933-5846

Springer LINK--德国施普林格(Springer-Verlag)电子期刊及丛书

1950-

Archive for Mathematical Logic

0933-5846

Academic Source Premier--学术期刊集成全文数据库(EBSCO)

1996--

8

Argumentation

Argumentation

0920-427X

Springer LINK--德国施普林格(Springer-Verlag)电子期刊及丛书

1987-

Argumentation

0920-427X

Academic Research Library--学术期刊图书馆数据库(ProQuest)

2008--

Argumentation

0920-427X

Kluwer Online--800种电子期刊镜像服务网站

199702-

10

Bulletin of Symbolic Logic

The Bulletin of Symbolic Logic

1079-8986

JSTOR--西文过刊全文库

1995-2009

11

Bulletin of the Section of Logic

Bulletin of the Section of Logic

主页?

   

12

Dissertationes Mathematicae

Dissertationes Mathematicae

主页?

   

13

Erkenntnis

Erkenntnis

1876-2514

JSTOR--西文过刊全文库

1930-1937

Erkenntnis

0165-0106

Springer LINK--德国施普林格(Springer-Verlag)电子期刊及丛书

1930-

Erkenntnis

0165-0106

Academic Research Library--学术期刊图书馆数据库(ProQuest)

1997--

Erkenntnis

0165-0109

Periodicals Archive Online(PAO)--典藏人文社科全文期刊库

1931-1938

Erkenntnis

0165-0106

Periodicals Archive Online(PAO)--典藏人文社科全文期刊库

1919-1995

Erkenntnis

0165-0106

Kluwer Online--800种电子期刊镜像服务网站

199700-

Erkenntnis (1975-)

0165-0106

JSTOR--西文过刊全文库

1975-2006

Journal of unified science (Erkenntnis)

0165-0110

Periodicals Archive Online(PAO)--典藏人文社科全文期刊库

1939-1940

The Journal of Unified Science (Erkenntnis)

1876-2530

JSTOR--西文过刊全文库

1939-1940

15

Fundamenta Informaticae

Fundamenta Informaticae

0169-2968

NSTL--国家科技图书文献中心购买的电子资源

2000-

Fundamenta Informaticae

0169-2968

Academic Source Premier--学术期刊集成全文数据库(EBSCO)

1999--

16

Fundamenta Mathematicae

Fundamenta Mathematicae

主页?

   

17

Fuzzy Sets and Systems

Fuzzy Sets and Systems

0165-0114

Elsevier Science--学术期刊数据库

1995--

18

History and Philosophy of Logic

History and Philosophy of Logic

0144-5340

其它

1997-

19

International Journal of Foundations of Computer Science

International Journal of Foundations of Computer Science

0129-0541

Business Source Premier--商业资源电子文献数据库(EBSCO)

1999--

International Journal of Foundations of Computer Science

0129-0541

Academic Source Premier--学术期刊集成全文数据库(EBSCO)

1999--

20

International Journal of Mathematics and Computer Science

International Journal of Mathematics and Computer Science

主页?

   

21

International Studies in the Philosophy of Science

International Studies in the Philosophy of Science

0269-8595

Academic Source Premier--学术期刊集成全文数据库(EBSCO)

1998--

22

Information and Computation

Information and Computation

0890-5401

Elsevier Science--学术期刊数据库

1995--

23

Israel Journal of Mathematics

Israel Journal of Mathematics

0021-2172

Springer LINK--德国施普林格(Springer-Verlag)电子期刊及丛书

1963-

24

Journal of Applied Logic

Journal of Applied Logic

1570-8683

Elsevier Science--学术期刊数据库

2003--

25

Journal of Applied Non-Classical Logics

Journal of Applied Non-Classical Logics

主页?

   

26

Journal of Automated Reasoning

Journal of Automated Reasoning

0168-7433

Springer LINK--德国施普林格(Springer-Verlag)电子期刊及丛书

1985-

Journal of Automated Reasoning

0168-7433

Kluwer Online--800种电子期刊镜像服务网站

199702-

27

Journal of Formalized Mathematics

Journal of Formalized Mathematics

有全文

   

28

Journal of Logic and Computation

Journal of Logic and Computation

0955-792X

Oxford University Press(OUP)--牛津大学出版社电子期刊

1996-2010

29

Journal of Logic, Language and Information

Journal of Logic, Language and Information

0925-8531

Springer LINK--德国施普林格(Springer-Verlag)电子期刊及丛书

1992-

Journal of Logic, Language and Information

0925-8531

Kluwer Online--800种电子期刊镜像服务网站

199701-

30

Journal of Mathematical Logic

Journal of Mathematical Logic

0219-0613

Academic Source Premier--学术期刊集成全文数据库(EBSCO)

2001--

31

Journal of Multiple-Valued Logic and Soft Computing

Journal of Multiple-Valued Logic and Soft Computing

主页?

   

32

Journal of Philosophical Logic

Journal of Philosophical Logic

0022-3611

Academic Research Library--学术期刊图书馆数据库(ProQuest)

1997--

Journal of Philosophical Logic

0022-3611

Academic Source Premier--学术期刊集成全文数据库(EBSCO)

2003--

Journal of Philosophical Logic

0022-3611

Periodicals Archive Online(PAO)--典藏人文社科全文期刊库

1972-1995

Journal of Philosophical Logic

0022-3611

Springer LINK--德国施普林格(Springer-Verlag)电子期刊及丛书

1972-

Journal of Philosophical Logic

0022-3611

Kluwer Online--800种电子期刊镜像服务网站

199702-

33

Journal of Symbolic Logic

The Journal of Symbolic Logic

0022-4812

JSTOR--西文过刊全文库

1936-2005

34

Journal of Semantics

Journal of Semantics

0167-5133

Oxford University Press(OUP)--牛津大学出版社电子期刊

1996-2010

35

Linguistics and Philosophy

Linguistics and Philosophy

0165-0157

JSTOR--西文过刊全文库

1977-2006

Linguistics and Philosophy

0165-0157

Springer LINK--德国施普林格(Springer-Verlag)电子期刊及丛书

1977-

Linguistics and Philosophy

0165-0157

Kluwer Online--800种电子期刊镜像服务网站

199702-

36

Logic Journal of the IGPL

Logic Journal of the IGPL

1367-0751

Oxford University Press(OUP)--牛津大学出版社电子期刊

1996-2010

Logic Journal of the IGPL

1367-0751

Academic Research Library--学术期刊图书馆数据库(ProQuest)

2004-2009

38

Logica Universalis

Logica Universalis

1661-8297

Springer LINK--德国施普林格(Springer-Verlag)电子期刊及丛书

2007-

39

Mathematical Logic Quarterly

MLQ: Mathematical Logic Quarterly

0942-5616

John Wiley--电子期刊数据库

2000-

40

Mind

Mind

0026-4423

JSTOR--西文过刊全文库

1876-2002

Mind

0026-4423

Oxford University Press(OUP)--牛津大学出版社电子期刊

1996-2010

Mind

0026-4423

Literature Resource Center--文学资源中心(Gale)

1993-1998

Mind

0026-4423

Academic Research Library--学术期刊图书馆数据库(ProQuest)

1997-2007

41

Mind & Language

Mind & Language

0268-1064

John Wiley--电子期刊数据库

1997-

42

Minds and Machines

Minds and Machines

0924-6495

Springer LINK--德国施普林格(Springer-Verlag)电子期刊及丛书

1991-

Minds and Machines

0924-6495

Kluwer Online--800种电子期刊镜像服务网站

199700-

44

Nordic Journal of Philosophical Logic

Nordic Journal of Philosophical Logic

0806-6205

Academic Source Premier--学术期刊集成全文数据库(EBSCO)

1998-2001

45

Notre Dame Journal of Formal Logic

Notre Dame Journal of Formal Logic

主页?

   

46

Noûs

Nous

0029-4624

Academic Source Premier--学术期刊集成全文数据库(EBSCO)

1997--

Nous

0029-4624

John Wiley--电子期刊数据库

1997-

47

Philosophia Mathematica

Philosophia Mathematica

0031-8019

Oxford University Press(OUP)--牛津大学出版社电子期刊

1996-2010

Philosophia Mathematica

0031-8019

Academic Research Library--学术期刊图书馆数据库(ProQuest)

2005-2009

48

Philosophical Psychology

Philosophical Psychology

0951-5089

Academic Source Premier--学术期刊集成全文数据库(EBSCO)

1990--

Philosophical Psychology

0951-5089

Academic Research Library--学术期刊图书馆数据库(ProQuest)

1997-2000

Philosophical Psychology

0951-5089

其它

1997-

49

Philosophical Review

The Philosophical Review

0031-8108

JSTOR--西文过刊全文库

1892-2006

50

Philosophy and Phenomenological Research

Philosophy and Phenomenological Research

0031-8205

John Wiley--电子期刊数据库

2001-

Philosophy and Phenomenological Research

0031-8205

JSTOR--西文过刊全文库

1940-2004

51

Ratio An International Journal of Analytic Philosophy

Ratio An International Journal of Analytic Philosophy 

有全文

   

52

Review of Symbolic Logic

Review of Symbolic Logic

1755-0203

Cambridge Journals Online(CUP)--剑桥大学出版社电子期刊

2008-

53

Theoretical Computer Science

Theoretical Computer Science

0304-3975

Elsevier Science--学术期刊数据库

1995--

54

Smarandache Notions Journal

Smarandache Notions Journal

有全文

   

55

Studia Logica

Studia Logica

0039-3215

Springer LINK--德国施普林格(Springer-Verlag)电子期刊及丛书

1953-

Studia Logica

0039-3215

Kluwer Online--800种电子期刊镜像服务网站

199700-

Studia Logica: An International Journal for Symbolic Logic

0039-3215

JSTOR--西文过刊全文库

1953-2006

56

Synthese

Synthese

0039-7857

JSTOR--西文过刊全文库

1936-2006

Synthese

0039-7857

Academic Research Library--学术期刊图书馆数据库(ProQuest)

1997--

Synthese

0039-7857

Springer LINK--德国施普林格(Springer-Verlag)电子期刊及丛书

1936-

Synthese

0039-7857

Kluwer Online--800种电子期刊镜像服务网站

199700-

57

The Australasian Journal of Logic

The Australasian Journal of Logic

有全文

   

58

Zentralblatt MATH

Zentralblatt MATH

有全文

   

 

 


发布时间:2011-05-20 10:17:46
联系我们      关于本站      版权所有© 2009-2017  北京大学哲学系逻辑、语言与认知研究中心      地址:北京大学人文学苑二号楼