Formal methods : an introduction to symbolic logic and to the study of effective operations in arithmetic and logic. (Record no. 8770)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 00378nam a2200109 4500 |
| 082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER | |
| Classification number | 511.3 |
| Item number | BET |
| 100 ## - MAIN ENTRY--PERSONAL NAME | |
| Personal name | Beth, Evert W. |
| 245 ## - TITLE STATEMENT | |
| Title | Formal methods : an introduction to symbolic logic and to the study of effective operations in arithmetic and logic. |
| Statement of responsibility, etc. | Evert W Beth |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. | |
| Place of publication, distribution, etc. | Dordrecht - Holland |
| Name of publisher, distributor, etc. | D.Reidel |
| Date of publication, distribution, etc. | c1962 |
| 300 ## - PHYSICAL DESCRIPTION | |
| Extent | xiv,170p.; 23cm. |
| 490 ## - SERIES STATEMENT | |
| Series statement | Synthese Library |
| Withdrawn status | Lost status | Damaged status | Not for loan | Collection code | Home library | Current library | Date acquired | Total Checkouts | Full call number | Barcode | Date last seen | Price effective from | Koha item type |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| RELIGION & PHILOSOPHY | North Eastern Hill University | North Eastern Hill University | 24/11/2011 | 511.3 BET | 14527 | 24/11/2011 | 24/11/2011 | Books |