MARC details
000 -LEADER |
fixed length control field |
02543nam a22003135i 4500 |
001 - CONTROL NUMBER |
control field |
38091 |
003 - CONTROL NUMBER IDENTIFIER |
control field |
0000000000 |
005 - DATE AND TIME OF LATEST TRANSACTION |
control field |
20240411192410.0 |
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
fixed length control field |
181005s2018 nyu s 000 0 eng |
010 ## - LIBRARY OF CONGRESS CONTROL NUMBER |
LC control number |
2018960381 |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
International Standard Book Number |
9783030032531 |
035 ## - SYSTEM CONTROL NUMBER |
System control number |
20698630 |
040 ## - CATALOGING SOURCE |
Original cataloging agency |
DLC |
Language of cataloging |
eng |
Description conventions |
rda |
Transcribing agency |
DLC |
042 ## - AUTHENTICATION CODE |
Authentication code |
pcc |
100 1# - MAIN ENTRY--PERSONAL NAME |
Personal name |
De Swart, Harrie. |
245 10 - TITLE STATEMENT |
Title |
Philosophical and mathematical logic / |
Statement of responsibility, etc. |
Harrie De Swart. |
263 ## - PROJECTED PUBLICATION DATE |
Projected publication date |
1810 |
264 #1 - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE, AND COPYRIGHT NOTICE |
Place of production, publication, distribution, manufacture |
Cham, Switzerland : |
Name of producer, publisher, distributor, manufacturer |
Springer, |
Date of production, publication, distribution, manufacture, or copyright notice |
2018. |
300 ## - PHYSICAL DESCRIPTION |
Extent |
pages cm. |
336 ## - CONTENT TYPE |
Content type term |
text |
Source |
rdacontent |
337 ## - MEDIA TYPE |
Media type term |
computer |
Source |
rdamedia |
338 ## - CARRIER TYPE |
Carrier type term |
online resource |
Source |
rdacarrier |
520 ## - SUMMARY, ETC. |
Summary, etc. |
This book was written to serve as an introduction to logic, with in each chapter - if applicable - special emphasis on the interplay between logic and philosophy, mathematics, language and (theoretical) computer science. The reader will not only be provided with an introduction to classical logic, but to philosophical (modal, epistemic, deontic, temporal) and intuitionistic logic as well. The first chapter is an easy to read non-technical Introduction to the topics in the book. The next chapters are consecutively about Propositional Logic, Sets (finite and infinite), Predicate Logic, Arithmetic and Gödel's Incompleteness Theorems, Modal Logic, Philosophy of Language, Intuitionism and Intuitionistic Logic, Applications (Prolog; Relational Databases and SQL; Social Choice Theory, in particular Majority Judgment) and finally, Fallacies and Unfair Discussion Methods. Throughout the text, the author provides some impressions of the historical development of logic: Stoic and Aristotelian logic, logic in the Middle Ages and Frege's Begriffsschrift, together with the works of George Boole (1815-1864) and August De Morgan (1806-1871), the origin of modern logic. Since "if ..., then ..." can be considered to be the heart of logic, throughout this book much attention is paid to conditionals: material, strict and relevant implication, entailment, counterfactuals and conversational implicature are treated and many references for further reading are given. Each chapter is concluded with answers to the exercises. |
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name entry element |
Computer science. |
Source of heading or term |
sears |
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name entry element |
Logic, Symbolic and mathematical. |
Source of heading or term |
sears |
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name entry element |
Logic. |
Source of heading or term |
sears |
856 ## - ELECTRONIC LOCATION AND ACCESS |
Uniform Resource Identifier |
<a href="https://drive.google.com/file/d/1uR5F9s6WeXFQfnh-ofeV4Eh1fKyslPI4/view?usp=sharing">https://drive.google.com/file/d/1uR5F9s6WeXFQfnh-ofeV4Eh1fKyslPI4/view?usp=sharing</a> |