Elements of Logical Reasoning (Record no. 24155)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 01253nam a22001817a 4500 |
| 005 - DATE AND TIME OF LATEST TRANSACTION | |
| control field | 20240715122911.0 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 240715b |||||||| |||| 00| 0 eng d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 9781107610774 (pbk) |
| 040 ## - CATALOGING SOURCE | |
| Transcribing agency | UE-CL |
| 082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER | |
| Classification number | 160.1 |
| Item number | P6971 |
| 100 ## - MAIN ENTRY--PERSONAL NAME | |
| Personal name | Plato, Jan Von |
| 245 ## - TITLE STATEMENT | |
| Title | Elements of Logical Reasoning |
| Statement of responsibility, etc | / Jan Von Plato |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) | |
| Place of publication, distribution, etc | Cambridge : |
| Name of publisher, distributor, etc | Cambridge University Press, |
| Date of publication, distribution, etc | 2013. |
| 300 ## - PHYSICAL DESCRIPTION | |
| Extent | ix, 264 p. |
| 650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Logic, Symbolic and Mathematical - Reasoning |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| Koha item type | Books |
| 505 ## - FORMATTED CONTENTS NOTE | |
| Formatted contents note | Contents<br/><br/>Preface<br/>Part I:- First Step in Logical Reasoning<br/><br/>1. Starting-Points<br/>2. Rules of Proof<br/>3. Natural Deduction<br/>4. Proof Search<br/>5. Classical Natural Deduction<br/>6. Proof Search in Classical Logic<br/>7. The Semantics of Propositional Logic<br/><br/>Part II:- Logical Reasoning with the Quantifiers<br/><br/>8. The Quantifiers<br/>9. Derivations in Predicate Logic<br/>10. The Semantics of Predicate Logic<br/><br/>Part III :- Beyond Pure Logic<br/>11. Equality and Axiomatic Theories<br/>12. Elements of the Proof Theory of Arithmetic<br/><br/> Part IV :- Complementary Topics<br/>13. Normalization and Cut Elimination<br/>14. Deductive Machinery from Aristotle to Heyting<br/><br/>Suggestions for use of this book<br/>Further Reading<br/>Bibliography<br/>Index of Names<br/>Index of Subjects<br/> |
| Withdrawn status | Damaged status | Not for loan | Home library | Current library | Date acquired | Full call number | Barcode | Date last seen | Price effective from | Koha item type |
|---|---|---|---|---|---|---|---|---|---|---|
| UE-Central Library | UE-Central Library | 15.07.2024 | 160.1 P6971 | T17422 | 15.07.2024 | 15.07.2024 | Books | |||
| UE-Central Library | UE-Central Library | 15.07.2024 | 160.1 P6971 | T17423 | 15.07.2024 | 15.07.2024 | Books | |||
| UE-Central Library | UE-Central Library | 15.07.2024 | 160.1 P6971 | T17424 | 15.07.2024 | 15.07.2024 | Books |
