MARC details
| 000 -LEADER |
|---|
| fixed length control field |
01919cam a22003738i 4500 |
| 001 - CONTROL NUMBER |
|---|
| control field |
22397054 |
| 003 - CONTROL NUMBER IDENTIFIER |
|---|
| control field |
OSt |
| 005 - DATE AND TIME OF LATEST TRANSACTION |
|---|
| control field |
20230320143358.0 |
| 006 - FIXED-LENGTH DATA ELEMENTS--ADDITIONAL MATERIAL CHARACTERISTICS--GENERAL INFORMATION |
|---|
| fixed length control field |
m |o d | |
| 007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION |
|---|
| fixed length control field |
cr_||||||||||| |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
|---|
| fixed length control field |
211202s2022 enk o 001 0 eng |
| 010 ## - LIBRARY OF CONGRESS CONTROL NUMBER |
|---|
| LC control number |
2021057960 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| Cancelled/invalid ISBN |
9781108949477 |
| Qualifying information |
(paperback) |
| 040 ## - CATALOGING SOURCE |
|---|
| Original cataloging agency |
DLC |
| Language of cataloging |
eng |
| Transcribing agency |
IISERB |
| Description conventions |
rda |
| 042 ## - AUTHENTICATION CODE |
|---|
| Authentication code |
pcc |
| 050 00 - LIBRARY OF CONGRESS CALL NUMBER |
|---|
| Classification number |
QA9 |
| 082 00 - DEWEY DECIMAL CLASSIFICATION NUMBER |
|---|
| Classification number |
005.131 G586M |
| Edition number |
23 |
| 084 ## - OTHER CLASSIFICATION NUMBER |
|---|
| Classification number |
COM051010 |
| Source of number |
bisacsh |
| 100 1# - MAIN ENTRY--PERSONAL NAME |
|---|
| Personal name |
Gonczarowski, Yannai A. |
| Relator term |
author. |
| 9 (RLIN) |
29169 |
| 245 10 - TITLE STATEMENT |
|---|
| Title |
Mathematical logic through Python |
| Statement of responsibility, etc |
Yannai A. Gonczarowski, Harvard University, Massachusetts, Noam Nisan, Hebrew University of Jerusalem. |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) |
|---|
| Place of publication, distribution, etc |
Cambridge: |
| Name of publisher, distributor, etc |
Cambridge University Press, |
| Date of publication, distribution, etc |
2022. |
| 263 ## - PROJECTED PUBLICATION DATE |
|---|
| Projected publication date |
2203 |
| 300 ## - PHYSICAL DESCRIPTION |
|---|
| Extent |
xii, 271p. |
| 500 ## - GENERAL NOTE |
|---|
| General note |
Includes index. |
| 520 ## - SUMMARY, ETC. |
|---|
| Summary, etc |
"An introduction to Mathematical Logic using a unique pedagogical approach in which the students implement the underlying conceps as well as almost all the mathematical proofs in the Python programming language. The textbook is accompanied by an extensive collection of programming tasks, code skeletons, and unit tests. The covered mathematical material includes Propositional Logic and first-order Predicate Logic, culminating in a proof of Gödel's Completeness Theorem. A "sneak peak" into Gödel's Incompleteness Theorem is also provided"-- |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Logic, Symbolic and mathematical. |
| 9 (RLIN) |
29170 |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Python (Computer program language) |
| 9 (RLIN) |
29171 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
COMPUTERS / Languages / General |
| Source of heading or term |
bisacsh |
| 9 (RLIN) |
29172 |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Nisan, Noam, |
| Relator term |
author. |
| 9 (RLIN) |
29173 |
| 776 08 - ADDITIONAL PHYSICAL FORM ENTRY |
|---|
| Display text |
Print version: |
| Main entry heading |
Gonczarowski, Yannai A., 1981- |
| Title |
Mathematical logic through Python |
| Place, publisher, and date of publication |
Cambridge, United Kingdom ; New York, NY : Cambridge University Press, [2022] |
| International Standard Book Number |
9781108845076 |
| Record control number |
(DLC) 2021057959 |
| 906 ## - LOCAL DATA ELEMENT F, LDF (RLIN) |
|---|
| a |
7 |
| b |
cbc |
| c |
orignew |
| d |
1 |
| e |
ecip |
| f |
20 |
| g |
y-gencatlg |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) |
|---|
| Source of classification or shelving scheme |
Dewey Decimal Classification |
| Koha item type |
Books |
