Symbolic logic syntax, semantics, and proof /

Պահպանված է:
Մատենագիտական մանրամասներ
Հիմնական հեղինակ: Agler, David W., 1982-
Համատեղ հեղինակ: ebrary, Inc
Ձևաչափ: Էլեկտրոնային էլ․ գիրք
Լեզու:անգլերեն
Հրապարակվել է: Lanham, Md. : Rowman & Littlefield Publishers, c2013.
Խորագրեր:
Առցանց հասանելիություն:An electronic book accessible through the World Wide Web; click to view
Ցուցիչներ: Ավելացրեք ցուցիչ
Չկան պիտակներ, Եղեք առաջինը, ով նշում է այս գրառումը!
Նկարագրություն
Ֆիզիկական նկարագրություն:xix, 375 p.
Մատենագիտություն:Includes bibliographical references and index.