Tsinghua Logic

Short Textbooks in Logic

Aims and scope

This is a systematically designed book series that comprises of textbooks on various topics in logic. Though each book can be read independently, the series as a whole gives readers a comprehensive view of logic of the present time. Each book in the series is written clearly and concisely, and at the same time supplies plenty of well-planned examples and exercises to the point. The series is also aimed at providing readers with adequate explanations of scope and motivation of topics. The topics discussed in the series range from mathematical and philosophical logic to logical methods applied to computer science. Some will be introductory and some other will be advanced but not too much specific. Its targeted readers are advanced undergraduate as well as graduate students in philosophy, mathematics, computer science and the related fields. The series is also suitable for self-taught learning.

Target audience

The targeted audience of the short textbooks are advanced undergraduate students and graduate students, as well as those readers from other fields who are interested in logic. The fields range from philosophy, computer science, linguistics, mathematics, to cognitive science, as logic conceived as an interdisciplinary subject mentioned above.

The usual courses that those textbooks can be used are the following: mathematical logic, philosophical logic, non-classical logics, proof theory, model theory, logic and computation, formal semantics, logics for computer science, etc.

Editorial Advisory Board

Johan van Benthem, University of Amsterdam and Stanford University

Rob Goldblatt, Victoria University of Wellington, New Zealand 

Wilfrid Hodges, Kings College, University of London, UK

Rohit Parikh, CUNY Graduate Center, US

Type and number of books

The short textbooks will be published at the Springer. A typical book will average 120 printed pages. Publication of three to four volumes per year is planned.

Series editors prefer to design special Tex template including fonts, symbols for the authors to use, to make the logical symbols in the same series more uniformed. This would be quite helpful for readers, as it may avoid unnecessary confusions and cross references. But in practice this might not be very easy as usually each author has strong taste for the use of symbols.


Vincent Hendricks, Copenhagen University, Denmark; EMAIL: vincent@hum.ku.dk

Fenrong Liu, Tsinghua University, Beijing, China; EMAIL: fenrong@tsinghua.edu.cn

Hiroakira Ono, Japan Advanced Institute of Science and Technology, Japan; EMAIL: ono@jaist.ac.jp

Dr. Junhua Yu, assistant professor at Tsinghua University, Beijing, China will assist the series editors in carry out daily editorial operations and coordinate volume editor(s)/author(s).

Welcome to Tsinghua Logic