Martino Fine Books
Algebraic Logic
Regular price
$174.95 USD
Regular price
Sale price
$174.95 USD
Unit price
per
Shipping calculated at checkout.
Couldn't load pickup availability
Title: Algebraic Logic
Author: Paul R Halmos
ISBN: 9781614276340
Publisher: Martino Fine Books
Published: 2014
Binding: Paperback
Language: English
Number of Pages: 274
Condition Note: Clean, unmarked copy with some edge wear. Good binding. Dust jacket included if issued with one. We ship in recyclable American-made mailers. 100% money-back guarantee on all orders.
Publisher Description: 2014 Reprint of 1962 Edition. Full facsimile of the original edition, not reproduced with Optical Recognition Software. In "Algebraic Logic" Halmos devised polyadic algebras, an algebraic version of first-order logic differing from the better known cylindric algebras of Alfred Tarski and his students. An elementary version of polyadic algebra is described in monadic Boolean algebra. This book addresses some of the problems of mathematical logic and the theory of polyadic Boolean algebras in particular. It is intended to be an efficient way of treating algebraic logic in a unified manner.
Author: Paul R Halmos
ISBN: 9781614276340
Publisher: Martino Fine Books
Published: 2014
Binding: Paperback
Language: English
Number of Pages: 274
Condition Note: Clean, unmarked copy with some edge wear. Good binding. Dust jacket included if issued with one. We ship in recyclable American-made mailers. 100% money-back guarantee on all orders.
Publisher Description: 2014 Reprint of 1962 Edition. Full facsimile of the original edition, not reproduced with Optical Recognition Software. In "Algebraic Logic" Halmos devised polyadic algebras, an algebraic version of first-order logic differing from the better known cylindric algebras of Alfred Tarski and his students. An elementary version of polyadic algebra is described in monadic Boolean algebra. This book addresses some of the problems of mathematical logic and the theory of polyadic Boolean algebras in particular. It is intended to be an efficient way of treating algebraic logic in a unified manner.
