MARC details
| 000 -LEADER |
|---|
| fixed length control field |
04238cam a22003614i 4500 |
| 001 - CONTROL NUMBER |
|---|
| control field |
15961774 |
| 005 - DATE AND TIME OF LATEST TRANSACTION |
|---|
| control field |
20210824093329.0 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
|---|
| fixed length control field |
091027s2010 sz a b 001 0 eng |
| 010 ## - LIBRARY OF CONGRESS CONTROL NUMBER |
|---|
| LC control number |
2009940118 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
9783764399764 (hbk.) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
3764399767 (hbk.) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
3764399775 (ebk.) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
9783764399771 (ebk.) |
| 040 ## - CATALOGING SOURCE |
|---|
| Original cataloging agency |
UKM |
| Transcribing agency |
UKM |
| Modifying agency |
CUD |
| -- |
BWX |
| -- |
RRR |
| -- |
CDX |
| -- |
DLC |
| Description conventions |
rda |
| 050 00 - LIBRARY OF CONGRESS CALL NUMBER |
|---|
| Classification number |
QA9 |
| Item number |
.L475 2010 |
| 082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER |
|---|
| Classification number |
511.3 |
| Edition number |
22 |
| Item number |
L.W.M |
| 100 1# - MAIN ENTRY--PERSONAL NAME |
|---|
| Personal name |
Li, Wei, |
| Dates associated with a name |
1943 June- |
| Relator term |
author |
| 245 10 - TITLE STATEMENT |
|---|
| Title |
Mathematical logic : |
| Remainder of title |
foundations for information science / |
| Statement of responsibility, etc |
Wei Li. |
| 264 #1 - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) |
|---|
| Place of publication, distribution, etc |
Basel ; |
| -- |
Boston : |
| Name of publisher, distributor, etc |
Birkhäuser, |
| Date of publication, distribution, etc |
c2010. |
| 264 #4 - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) |
|---|
| Date of publication, distribution, etc |
c2010 |
| 300 ## - PHYSICAL DESCRIPTION |
|---|
| Extent |
xii, 261 pages : |
| Other physical details |
illustrations ; |
| Dimensions |
24 cm. |
| 336 ## - CONTENT TYPE |
|---|
| Source |
rdacontent |
| Content type term |
text |
| 337 ## - MEDIA TYPE |
|---|
| Source |
rdamedia |
| Media type term |
unmediated |
| 338 ## - CARRIER TYPE |
|---|
| Source |
rdacarrier |
| Carrier type term |
volume |
| 490 1# - SERIES STATEMENT |
|---|
| Series statement |
Progress in computer science and applied logic ; |
| Volume number/sequential designation |
v. 25 |
| 504 ## - BIBLIOGRAPHY, ETC. NOTE |
|---|
| Bibliography, etc |
Includes bibliographical references (p. [251]-255) and index. |
| 505 0# - FORMATTED CONTENTS NOTE |
|---|
| Formatted contents note |
Preface.- Glossary.- 1. Syntax of First-Order Languages.- 1.1 Symbols of first-order languages.- 1.2 Terms.- 1.3 Logical formulas.- 1.4 Free variables and substitutions.- 1.5 Godel terms of formulas.- 1.6 Proof by structural inductions.- 2. Models of First-Order Languages.- 2.1 Domains and interpretations.- 2.2 Assignments and models.- 2.3 Meanings of terms.- 2.4 Meanings of logical connective symbols.- 2.5 Meanings of formulas.- 2.6 Satisfiability and validity.- 2.7 Valid formulas on .- 2.8 Hintikka set.- 2.9 Herbrand model.- 2.10 Herbrand model with variables.- 2.11 Substitution lemma.- 3. Formal Inference Systems.- 3.1 G inference system.- 3.2 Proof trees, inference trees, and provable sequents.- 3.3 Soundness of the G inference system.- 3.4 Compactness and consistency.- 3.5 Completeness of the G inference system.- 3.6 Some commonly used inference rules.- 3.7 Proof theory and model theory.- 4. Computability and Representability.- 4.1 Formal theories.- 4.2 Elementary arithmetic theory .- 4.3 P-procedures on N.- 4.4 Church-Turhign thesis.- 4.5 Problem of representability.- 4.6 States of P-procedures.- 4.7 System of operational calculus of P-procedure statements.- 4.8 Representation of P-procedure statements.- 4.9 Representability theorem.- 5. Godel Theorems.- 5.1 Self-referential statements.- 5.2 Deciadable sets.- 5.3 Fixed point equation in .- 5.4 Godel incompleteness theorem.- 5.5 Godel consistency theorem.- 5.6 Halt problem.- 6. Sequences of Formal Theories.- 6.1 Two examples.- 6.2 Sequences of formal theories.- 6.3 Proxchemes.- 6.4 Resolution sequences.- 6.5 Sequences of default expansions.- 6.6 Forcing sequences.- 6.7 Discussions about proxchemes.- 7. Refutation by Facts and Revision Calculus.- 7.1 Necessary antecedents of formal consequences.- 7.2 New conjectures and new axioms.- 7.3 Refutation by facts and maximal contraction.- 7.4 R-calculus.- 7.5 Some examples.- 7.6 Reachability of theR-calculus.- 7.7 Soundness and completeness of the R-calculus.- 7.8 Basic theorem of testing.- 8. Version Sequences and Proxchemes.- 8.1 Versions and version sequences.- 8.2 OPEN proxcheme.- 8.3 Convergency of the P-proxcheme.- 8.4 Commutativity of the P-proxcheme.- 8.5 Independency of the P-proxcheme.- 8.6 Ideal proxchemes.- 9. Inductive Inference and Inductive Process.- 9.1 Basic terms, basic sentences, and basic instances.- 9.2 Inductive inference system A.- 9.3 Inductive version and inductive process.- 9.4 GUINA proxcheme.- 9.5 Convergency of the GUINA proxcheme.- 9.6 Commutativity of the GUINA proxcheme.- 9.7 Independency of the GUINA proxcheme.- 10. Metalanguage Environments of First-Order Languages.- 10.1 Environments of three kinds of languages.- 10.2 Basic principles of the environment of metalanguage.- 10.3 Axiomatization method.- 10.4 Formalization method.- 10.5 Workflow of scientific research.- Appendix 1 Sets and Mappings.- Appendix 2 Substitution Lemma and Its Proof.- Appendix 3 Proof of the Representability Theorem.- References.- Index.<br/> |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Logic, Symbolic and mathematical. |
| 830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE |
|---|
| Uniform title |
Progress in computer science and applied logic ; |
| Volume number/sequential designation |
v. 25 |
| 856 ## - ELECTRONIC LOCATION AND ACCESS |
|---|
| Materials specified |
Abstract |
| Uniform Resource Identifier |
<a href="http://repository.fue.edu.eg/xmlui/handle/123456789/2757">http://repository.fue.edu.eg/xmlui/handle/123456789/2757</a> |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) |
|---|
| Koha item type |
Books |
| Source of classification or shelving scheme |
Dewey Decimal Classification |
