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
WRLC Shared Collections Facility
BC135 .S46 Off-site
Off-Campus Shelving
BC135 .S46 Available Request
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
WorldCat Search OCLC WorldCat
WorldCat Identities Shoesmith, D. J.
Publication timeline, list of works, related names and subjects and other information


Export citation to: RefWorks