Tools

LEADER 03062nam a22004332 4500

001 ssj0000331722;

003 WaSeSS;

005 20250714084803.0;

006 m d ;

007 cr n ;

008 090302e20090626mou s|||||||| 2|eng|d;

020 a| 9780444516206;

020 a| 0444516204 (Trade Cloth)c| USD 245.00 Retail Price (Publisher)9| Active Record;

024 3 a| 9780444516206;

035 a| (WaSeSS)ssj0000331722;

037 b| 00991439;

040 a| BIP USd| WaSeSS;

049 a| EREEa| NEHH;

100 1 a| Gabbay, Dov M.e| Editor4| edt?| UNAUTHORIZED;

245 10 a| Handbook of the History of Logich| [electronic resource];

260 b| North Holland [Imprint]a| San Diego : b| Elsevier Science & Technology Books;

300 a| 1068 p.;

440 0 a| Handbook of the History of Logic Ser.;

506 a| Available only to authorized users.;

520 8 a| Annotationb| This volume is number five in the eleven volume Handbook of the History of Logic. It covers the first fifty years of the development of mathematical logic in the twentieth century, and concentrates on the achievements of the great names of the period; Russell, Post, Gödel, Tarski, Church, and the like. This was the period in which mathematical logic gave mature expression to its four main parts  set theory, model theory, proof theory and recursion theory. Collectively this work ranks as one of the greatest achievements of our intellectual history. Written by leading researchers in the field, both this volume and the Handbook as a whole are definitive reference tools for senior undergraduates, graduate students and researchers in the history of logic, the history of philosophy, and any discipline, such as mathematics, computer science, artificial intelligence, for whom the historical background of his or her work is a salient consideration.<br /><br />. The entire range of modal logic is covered<br />. Serves as a singular contribution to the intellectual history of the 20th century<br />. Contains the latest scholarly discoveries and interpretative insights;

538 a| Mode of access: World Wide Web;

650 4 a| Logicx| History;

655 0 a| Electronic books.=| ^A491897;

700 1 a| Woods, Johne| Editor4| edt=| ^A528197;

856 40 z| Full text available from eBook - Mathematics 2009 (Elsevier and Woodhead) [EBCM09W]u| https://go.openathens.net/redirector/ecu.edu?url=http%3A%2F%2Fwww.sciencedirect.com%2Fscience%2Fhandbooks%2F18745857%2F5;

949 a| CLICK ON WEB ADDRESSw| ASISh| JOYNER188;

949 a| CLICK ON WEB ADDRESSw| ASISh| HSL77;

949 a| CLICK ON WEB ADDRESSw| ASISh| JMUSIC60;

596 a| 1 3 4;

998 a| 6595544;

999 a| CLICK ON WEB ADDRESSw| ASISc| 1i| 6595544-1001l| JNETm| JOYNERr| Ys| Yt| JNESSBKu| 7/18/2025x| EBOOKz| JERESOURCE;

999 a| CLICK ON WEB ADDRESSw| ASISc| 1i| 6595544-2001l| HSLELECm| HSLr| Ys| Yt| HEBKu| 7/18/2025x| EBOOKz| HERESOURCE;

999 a| CLICK ON WEB ADDRESSw| ASISc| 1i| 6595544-3001l| MNETm| JMUSICr| Ys| Yt| MNESSBKu| 7/18/2025x| EBOOKz| JERESOURCE;

Handbook of the History of Logic

Author/creator	Gabbay, Dov M. Editor
Other author	Woods, John Editor
Format	Electronic
Publication Info	North Holland [Imprint] San Diego : Elsevier Science & Technology Books
Description	1068 p.
Supplemental Content	Full text available from eBook - Mathematics 2009 (Elsevier and Woodhead) [EBCM09W]
Subjects	Logic--History.

Series	Handbook of the History of Logic Ser.
Summary	Annotation This volume is number five in the eleven volume Handbook of the History of Logic. It covers the first fifty years of the development of mathematical logic in the twentieth century, and concentrates on the achievements of the great names of the period; Russell, Post, Gödel, Tarski, Church, and the like. This was the period in which mathematical logic gave mature expression to its four main parts  set theory, model theory, proof theory and recursion theory. Collectively this work ranks as one of the greatest achievements of our intellectual history. Written by leading researchers in the field, both this volume and the Handbook as a whole are definitive reference tools for senior undergraduates, graduate students and researchers in the history of logic, the history of philosophy, and any discipline, such as mathematics, computer science, artificial intelligence, for whom the historical background of his or her work is a salient consideration.<br /><br />. The entire range of modal logic is covered<br />. Serves as a singular contribution to the intellectual history of the 20th century<br />. Contains the latest scholarly discoveries and interpretative insights
Access restriction	Available only to authorized users.
Technical details	Mode of access: World Wide Web
Genre/form	Electronic books.
ISBN	9780444516206
ISBN	0444516204 (Trade Cloth) Active Record
Standard identifier#	9780444516206
Stock number	00991439

Availability

Library	Location	Call Number	Status	Item Actions
	Electronic Resources	Access Content Online	✔ Available

Handbook of the History of Logic

Click here for more information about this title

Availability