Hiroakira ono (118 risultati)

paperback. Condizione: Very Good. Most items will be dispatched the same or the next working day. A copy that has been read, but is in excellent condition. Pages are intact and not marred by notes or highlighting. The spine remains undamaged.

Condizione: New.

Condizione: As New. Unread book in perfect condition.

25 cm. VI, 188 p. Hardcover. Versand aus Deutschland / We dispatch from Germany via Air Mail. Einband bestoßen, daher Mängelexemplar gestempelt, sonst sehr guter Zustand. Imperfect copy due to slightly bumped cover, apart from this in very good condition. Stamped. Logic in Asia: Studia Logica Library. Sprache: Englisch.…

Condizione: New.

Paperback. Condizione: New.

Condizione: New. In English.

Condizione: New. pp. 168.

Paperback. Condizione: New.

Paperback. Condizione: Brand New. 160 pages. 9.00x6.25x0.50 inches. In Stock.

Condizione: New. In English.

Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book offers a concise introduction to both proof-theory and algebraic methods, the core of the syntactic and semantic study of logic respectively. The importance of combining these two has been increasingly recognized in recent years. It highlights the contrasts between the deep, concrete results using the former and the general, abstract ones using the latter. Covering modal logics, many-valued logics, superintuitionistic and substructural logics, together with their algebraic semantics, the book also provides an introduction to nonclassical logic for undergraduate or graduate level courses.The book is divided into two parts: Proof Theory in Part I and Algebra in Logic in Part II. Part Ipresents sequent systems and discusses cut elimination and its applications in detail. It also provides simplified proof of cut elimination, making the topic more accessible. The last chapter of Part I is devoted to clarification of the classes of logics that are discussed inthe second part. Part II focuses on algebraic semantics for these logics. At the same time, it is a gentle introduction to the basics of algebraic logic and universal algebra with many examples of their applications in logic. Part II can be read independently of Part I, with only minimum knowledge required, and as such is suitable as a textbook for short introductory courses on algebra in logic.…

Condizione: New. pp. 188.

Condizione: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.

Condizione: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.

Condizione: New. pp. 424.

Condizione: New. Brand New Original US Edition. Customer service! Satisfaction Guaranteed.

Condizione: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.

Condizione: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.

Condizione: New. Brand New Original US Edition. Customer service! Satisfaction Guaranteed.

Condizione: New. pp. viii + 393.

Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This contributed volume includes both theoretical research on philosophical logic and its applications in artificial intelligence, mostly employing the concepts and techniques of modal logic. It collects selected papers presented at the Second Asia Workshop on Philosophical Logic, held in Guangzhou, China in 2014, as well as a number of invited papers by specialists in related fields. The contributions represent pioneering philosophical logic research in Asia.…

Buch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This contributed volume includes both theoretical research on philosophical logic and its applications in artificial intelligence, mostly employing the concepts and techniques of modal logic. It collects selected papers presented at the Second Asia Workshop on Philosophical Logic, held in Guangzhou, China in 2014, as well as a number of invited papers by specialists in related fields. The contributions represent pioneering philosophical logic research in Asia.…

Paperback. Condizione: Brand New. 1st edition. 409 pages. 9.20x6.10x0.90 inches. In Stock.

Kartoniert / Broschiert. Condizione: New.

Gebunden. Condizione: New.

Condizione: New. pp. viii + 393 Illus.

Condizione: New. pp. viii + 393.

Condizione: New. pp. xviii + 376 1st Edition.

Taschenbuch. Condizione: Neu. Proof Theory and Algebra in Logic | Hiroakira Ono | Taschenbuch | Short Textbooks in Logic | viii | Englisch | 2019 | Springer | EAN 9789811379963 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. …