Publisher University of Newcastle upon Tyne, Computing Laboratory
Publication date 1991
Publication location Newcastle upon Tyne
Language English
Descriptive Notes
Cover title.
Topics
First-order logic
Catalogue Data
OBNB ID GB9202669
ISBN 10 n/a
ISBN 13 n/a
Type BibliographicResource, Book
ISBD
P1053 24p.
Buy a copy
OBNB doesn't sell books, but you may be able to find a copy at one of these websites:
On the expressibility of extensions of first order logic by I. A. Stewart. Published by University of Newcastle upon Tyne, Computing Laboratory in 1991. Publication and catalogue information, links to buy online and reader comments.