Synthese Library : Logics, Models and Computation: Volume One: Surveys - Marcin Mostowski

Synthese Library

Logics, Models and Computation: Volume One: Surveys

By: Marcin Mostowski, M. Krynicki (Editor), M. Mostowski (Editor)

Hardcover | 31 May 1995

At a Glance

Hardcover


$249.00

or 4 interest-free payments of $62.25 with

 or 

Ships in 5 to 7 business days

Quantifiers: Logics, Models and Computation is the first concentrated effort to give a systematic presentation of the main research results on the subject, since the modern concept was formulated in the late '50s and early '60s. The majority of the papers are in the nature of a handbook. All of them are self-contained, at various levels of difficulty. The Introduction surveys the main ideas and problems encountered in the logical investigation of quantifiers. The Prologue, written by Per Lindstr¶m, presents the early history of the concept of generalised quantifiers. The volume then continues with a series of papers surveying various research areas, particularly those that are of current interest. Together they provide introductions to the subject from the points of view of mathematics, linguistics, and theoretical computer science.
The present volume has been prepared in parallel with Quantifiers: Logics, Models and Computation, Volume Two. Contributions, which contains a collection of research papers on the subject in areas that are too fresh to be summarised. The two volumes are complementary.
For logicians, mathematicians, philosophers, linguists and computer scientists. Suitable as a text for advanced undergraduate and graduate specialised courses in logic.

Other Editions and Formats

Paperback

Published: 6th December 2010

Paperback

Published: 15th December 2010

More in Mathematical Theory of Computation

Discrete Mathematics for Computing : Grassroots - Peter Grossman

RRP $150.00

$129.75

13%
OFF
Foundation Mathematics - K. A. Stroud

RRP $128.99

$109.99

15%
OFF
Introduction to Modern Cryptography : Revised Third Edition - Jonathan  Katz
BEADING WITH ALGORITHMS : CELLULAR AUTOMATA IN PEYOTE STITCH - Gwen Fisher
BEADING WITH ALGORITHMS : CELLULAR AUTOMATA IN PEYOTE STITCH - Gwen Fisher
Axiomatic Set Theory : An Introduction - George Tourlakis
Applied Mathematics with F# - Sudipta Mukherjee
AI Value Creators : Beyond the Generative AI User Mindset - Dario Gil
Hands-On Generative AI with Transformers and Diffusion Models - Apolinario Passos
Practical Weak Supervision : Doing More with Less Data - Amit Bahree