LOGIC VERSUS APPROXIMATION

WOLFGANG LENSKI2004 年出版205 页ISBN：3540225625

PARALLEL LOGIC PROGRAMMING

EVAN TICK2222 年出版486 页ISBN：0262200872

COMPUTABILITY，COMPLEXITY，LOGIC

E.BORGER2222 年出版592 页ISBN：0444874062

LOGIC FOR MATHEMATICIANS

J. BARKIEY ROSSER1953 年出版530 页ISBN：

ELEMENTARY FORMAL LOGIC

G.N.GEORGACARAKOS2222 年出版0 页ISBN：

METHODS OF LOGIC

W.V.QUINE1959 年出版333 页ISBN：0674571762

Logic in games

Johan van Benthem2014 年出版548 页ISBN：0262019903

LOGIC FOR MATHEMATICIANS

A.G.HAMILTON1978 年出版223 页ISBN：0521218381

Mathematical logic

edited by R.O. Gandy and C.E.M. Yates ; including prefaces by Solomon Feferman ... [et al.].2001 年出版293 页ISBN：0444504230

Pure Inductive Logic

Jeffrey Paris ; Alena Vencovska2015 年出版344 页ISBN：1107042308