Library Of American University Of Madaba
Your cart is empty.
Many-valued logics /
by Bolc, Leonard,
Authors: Borowik, Piotr.%author Published by : Springer-Verlag, (New York :) Physical details: 2 v. : ill. ; 24 cm. ISBN: 3540645071 Subject(s): Many-valued logic. Year: 1992Online Resources:
Tags from this library:
No tags from this library for this title.
| Item type | Location | Call Number | Status | Date Due |
|---|---|---|---|---|
 Book |
AUM Main Library | 511.3 B687 (Browse Shelf) | Available | |
| Book |
AUM Main Library | 511.3 B687 (Browse Shelf) | Available | |
| Book |
AUM Main Library | 511.3 B687 (Browse Shelf) | Available |
Browsing AUM Main Library Shelves Close Shelf Browser
 |
 |
||||||
| 511.3 B611Combinatory logic : | 511.3 B687Many-valued logics / | 511.3 B687Many-valued logics / | 511.3 B687Many-valued logics / | 511.3 C456Mathematical logic / | 511.3 H396Diamond : |
Includes bibliographical references and indexes.
v. 1. Theoretical foundations -- 2. Automated reasoning and practical applications.
There are no comments for this item.