000 -LEADER |
fixed length control field |
01116n a2200217ua 4500 |
003 - CONTROL NUMBER IDENTIFIER |
control field |
OSt |
005 - DATE AND TIME OF LATEST TRANSACTION |
control field |
20221012172934.0 |
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
fixed length control field |
221012b xxu||||| |||| 00| 0 eng d |
040 ## - CATALOGING SOURCE |
Transcribing agency |
IIT Kanpur |
041 ## - LANGUAGE CODE |
Language code of text/sound track or separate title |
eng |
082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER |
Classification number |
164 |
Item number |
K125l |
100 ## - MAIN ENTRY--AUTHOR NAME |
Personal name |
Kalish, Donald |
245 0# - TITLE STATEMENT |
Title |
Logic |
Remainder of title |
techniques of formal reasoning |
Statement of responsibility, etc |
Donald Kalish and Richard Montague |
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) |
Place of publication |
New York |
Name of publisher |
Harcourt |
Year of publication |
1964 |
300 ## - PHYSICAL DESCRIPTION |
Number of Pages |
viii, 350p |
520 ## - SUMMARY, ETC. |
Summary, etc |
Logic: Techniques of Formal Reasoning, 2/e is an introductory volume that teaches students to recognize and construct correct deductions. It takes students through all logical steps--from premise to conclusion--and presents appropriate symbols and terms while giving examples to clarify principles. Logic, 2/e uses models to establish the invalidity of arguments and includes exercise sets throughout, ranging from easy to challenging. Solutions are provided to selected exercises, and historical remarks discuss major contributions to the theories covered. |
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical Term |
Logic, Symbolic and mathematical |
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical Term |
Logic |
700 ## - ADDED ENTRY--PERSONAL NAME |
Personal name |
Montague, Richard |
942 ## - ADDED ENTRY ELEMENTS (KOHA) |
Koha item type |
Books |