Fr. 145.20

Maria Manzano, Maria (Universitat De Barcelona) Manzano, Samson Abramsky, C. J. van Rijsbergen, C. J. van Rijsbergen

Extensions of First-Order Logic

English · Paperback / Softback

Shipping usually within 2 to 3 weeks (title will be printed to order)

Description

Zusammenfassung 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. Inhaltsverzeichnis 1. Standard second order logic; 2. Deductive calculi; 3. Categoricity of second order peano arithmetic; 4. Frames and general structures; 5. Type theory; 6. Many-sorted logic; 7. Applying MSL.

Product details

Authors	Maria Manzano, Maria (Universitat De Barcelona) Manzano
Assisted by	Samson Abramsky (Editor), C. J. van Rijsbergen (Editor), C. J. van Rijsbergen (Editor)
Publisher	Cambridge University Press ELT

Languages	English
Product format	Paperback / Softback
Released	22.08.2005

EAN	9780521019026
ISBN	978-0-521-01902-6
No. of pages	412
Series	Cambridge Tracts in Theoretica
Subject	Natural sciences, medicine, IT, technology > Mathematics > Basic principles

Customer reviews

No reviews have been written for this item yet. Write the first review and be helpful to other users when they decide on a purchase.