Enlarge

Many-sorted logic and its applications

Publication Data

Title Many-sorted logic and its applications
Contributors K. Meinke, J. V. Tucker
Publisher Wiley
Publication date 1993
Language English

Topics

Computer science :: Mathematics
Logic, Symbolic and mathematical
010373035

Catalogue Data

OBNB ID GB9307253
ISBN 10 0471934852
ISBN 13 n/a
Type BibliographicResource, Book
Dewey Classification 511.30285

ISBD

P1053 xvii,397p.

Buy a copy

OBNB doesn't sell books, but you may be able to find a copy at one of these websites:

Many-sorted logic and its applications. ISBN 0471934852. Published by Wiley in 1993. Publication and catalogue information, links to buy online and reader comments.

obnb.uk is a Good Stuff website.