cover image

Multiple-conclusion logic / D.J. Shoesmith, T.J. Smiley.

; Smiley, T. J. (Timothy John), author
Cambridge [England] ; New York : Cambridge University Press, 1978.
ISBN 0521217652, 9780521217651

Location Call Number Status Consortium Loan
George Washington
WRLC Shared Collections Facility
BC 135 .S46 (show me on map) Off-site
Request
American
WRLC Shared Collections Facility
BC135 .S46 Off-site
Request
Georgetown
Off-Campus Shelving
BC135 .S46 Available Request
Howard
Founders Library stacks
BC135 S46 Available Request
Other Authors Smiley, T. J.
Subjects Calcul des prédicats.
Logique symbolique et mathématique.
Many-valued logic.
Mathematische Logik.
Preuve, Théorie de la.
Proposition (Logique)
Wiskundige logica.
Description xiii, 396 pages : illustrations ; 24 cm
Copyright Date 1978.
Notes Includes bibliographical references (pages 386-389) and index.
Network Numbers (OCoLC)4182157
(OCoLC)ocm04182157
WorldCat Search OCLC WorldCat
WorldCat Identities Shoesmith, D. J.
Publication timeline, list of works, related names and subjects and other information

Services

Export citation to: RefWorks