Extensions of First-Order Logic - Cambridge Tracts in Theoretical Computer Science - Manzano, Maria (Universitat de Barcelona) - Books - Cambridge University Press - 9780521019026 - August 22, 2005
In case cover and title do not match, the title is correct

Extensions of First-Order Logic - Cambridge Tracts in Theoretical Computer Science

Manzano, Maria (Universitat de Barcelona)

Price
Íkr 12,649
excl. VAT

Ordered from remote warehouse

Expected delivery Jun 5 - 16

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Extensions of First-Order Logic - Cambridge Tracts in Theoretical Computer Science

Classical logic has proved inadequate in various areas of computer science, artificial intelligence, mathematics, philosopy and linguistics. This is an introduction to extensions of first-order logic, based on the principle that many-sorted logic (MSL) provides a unifying framework in which to work.

412 pages, black & white illustrations

Media Books     Paperback Book   (Book with soft cover and glued back)
Released August 22, 2005
ISBN13 9780521019026
Publishers Cambridge University Press
Pages 412
Dimensions 170 × 244 × 21 mm   ·   645 g
Language English  
Series Editor Abramsky, S.
Series Editor Aczel, P. H.
Series Editor Bakker, J. W. De
Series Editor Gurevich, Y.
Series Editor Tucker, J. V.
Series Editor Van Rijsbergen, C. J.

See all of Manzano, Maria (Universitat de Barcelona) ( e.g. Paperback Book )