Handbook of the History of Logic - Logic from Russell to Church
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Elsevier

9780444516206

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Preface

Handbook of the History of Logic - Logic from Russell to Church ◽

10.1016/s1874-5857(09)70003-2 ◽

2009 ◽

pp. vii-x ◽

Cited By ~ 1

Author(s):

Dov M. Gabbay ◽

John Woods

Download Full-text

Series Page

Handbook of the History of Logic - Logic from Russell to Church ◽

10.1016/s1874-5857(09)70001-9 ◽

2009 ◽

pp. iii

Download Full-text

Leśniewski’s Logic

Handbook of the History of Logic - Logic from Russell to Church ◽

10.1016/s1874-5857(09)70011-1 ◽

2009 ◽

pp. 305-320

Author(s):

Peter M. Simons

Download Full-text

Paradoxes, Self-Reference and Truth in the 20th Century

Handbook of the History of Logic - Logic from Russell to Church ◽

10.1016/s1874-5857(09)70020-2 ◽

2009 ◽

pp. 875-1013 ◽

Cited By ~ 5

Author(s):

Cantini Andrea

Keyword(s):

20Th Century ◽

Self Reference

Download Full-text

Copyright

Handbook of the History of Logic - Logic from Russell to Church ◽

10.1016/s1874-5857(09)70002-0 ◽

2009 ◽

pp. iv

Download Full-text

Lambda-Calculus and Combinators in the 20th Century

Handbook of the History of Logic - Logic from Russell to Church ◽

10.1016/s1874-5857(09)70018-4 ◽

2009 ◽

pp. 723-817 ◽

Cited By ~ 6

Author(s):

Felice Cardone ◽

J. Roger Hindley

Keyword(s):

20Th Century ◽

Lambda Calculus

Download Full-text

Hilbert’s Proof Theory

Handbook of the History of Logic - Logic from Russell to Church ◽

10.1016/s1874-5857(09)70012-3 ◽

2009 ◽

pp. 321-384 ◽

Cited By ~ 3

Author(s):

Wilfried Sieg

Keyword(s):

Proof Theory

Download Full-text

Handbook of the History of Logic

Handbook of the History of Logic - Logic from Russell to Church ◽

10.1016/s1874-5857(09)70548-5 ◽

2009 ◽

pp. ii

Keyword(s):

History Of Logic ◽

History Of

Download Full-text

Bertrand Russell's Logic

Handbook of the History of Logic - Logic from Russell to Church ◽

10.1016/s1874-5857(09)70005-6 ◽

2009 ◽

pp. 1-28 ◽

Cited By ~ 1

Author(s):

Andrew D. Irvine

Download Full-text

Thoralf Albert Skolem

Handbook of the History of Logic - Logic from Russell to Church ◽

10.1016/s1874-5857(09)70008-1 ◽

2009 ◽

pp. 127-194 ◽

Cited By ~ 2

Author(s):

Jens Erik. Fenstad ◽

Hao. Wang

Download Full-text

Handbook of the History of Logic - Logic from Russell to ChurchLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Elsevier

Preface

Series Page

Leśniewski’s Logic

Paradoxes, Self-Reference and Truth in the 20th Century

Copyright

Lambda-Calculus and Combinators in the 20th Century

Hilbert’s Proof Theory

Handbook of the History of Logic

Bertrand Russell's Logic

Thoralf Albert Skolem

Handbook of the History of Logic - Logic from Russell to Church
Latest Publications