Logic : the basics

ตัวเล่มในห้องสมุด

รายละเอียด

ชื่อเรื่อง

Logic : the basics

ผู้แต่ง

Beall, J. C.

ครั้งที่พิมพ์

Second edition.

พิมพ์ที่

London : Routledge, 2017

ภาษา

อังกฤษ

ISBN

9781138852273

หมายเหตุ

Consequences -- Models, modeled, and modeling -- Language, form, and logical theories -- Set-theoretic tools -- Basic classical syntax and semantics -- Basic classical tableaux -- Basic classical translations -- Atomic innards: unary -- Everything and something -- First-order language with any-arity innards -- Identity -- Tableaux for first-order logic with identity.

หัวเรื่อง

• Logic