Übersicht			Auf mobile öffnen

Lieferstatus:	Auf Bestellung (Lieferzeit unbekannt)
Veröffentlichung:	April 1995
Genre:	Philosophie
	COMPUTERS / Computer Science / LANGUAGE ARTS & DISCIPLINES / Linguistics / Semantics / Mathematics / MATHEMATICS / Logic / PHILOSOPHY / Logic / Semantik, Diskursanalyse, Stilistik / Theoretische Informatik
ISBN:	9780792334507
EAN-Code:	9780792334507
Verlag:	Springer
Einband:	Kartoniert
Sprache:	English
Serie:	#248- - Synthese Library (Hardcover)
Dimensionen:	H / B / D
Gewicht:	1 gr
Seiten:	708
Bewertung:	Titel bewerten / Meinung schreiben

Inhalt:

The quantifier concept is central to current logical investigations. Quantifiers: Logics, Models and Computation. Volume Two: Contributions contains twelve research papers devoted to generalized quantifiers and their applications. It offers an exhaustive survey of logical methods that are useful in investigations involving generalized quantifiers. Both model-theoretical and proof-theoretical approaches are well represented. Moreover, some papers focus on the applications of logical theory, particularly in relation to semantics of natural language. The volume includes a wide-ranging survey of logical methods which are useful in investigations into generalized quantifiers. The book is the second volume of a large collection. The first volume - Quantifiers: Logics, Models and Computation. Volume One: Surveys - contains a collection of survey papers on selected, well-defined areas organized around the quantifier concept. Volumes One and Two are complementary. For logicians, mathematicians, philosophers, linguists and computer scientists. Also suitable as a text for advanced undergraduate or graduate specialized courses in logic.