Mathematical Logic : Foundations for Information Science, by Wei Li, (electronic resource)

Resource Information

The instance Mathematical Logic : Foundations for Information Science, by Wei Li, (electronic resource) represents a material embodiment of a distinct intellectual or artistic creation found in European University Institute. This resource is a combination of several types including: Instance, Electronic.

Image

https://secure.syndetics.com/index.aspx?type=xw12&client=erounivinst&isbn=9783034808620&upc=10.1007%2F978-3-0348-0862-0&oclc=%28OCoLC%29899249140/LC.JPG

Label

Mathematical Logic : Foundations for Information Science, by Wei Li, (electronic resource)

Link

https://eui.idm.oclc.org/login?url=http://dx.doi.org/10.1007/978-3-0348-0862-0

Title remainder

Foundations for Information Science

Medium

electronic resource

Statement of responsibility

by Wei Li

Instantiates

• Mathematical Logic : Foundations for Information Science

Publication

• Basel, Springer Basel | Imprint: Birkhäuser, 2014

Antecedent source

mixed

Carrier category

online resource

Carrier category code

• cr

Carrier MARC source

rdacarrier.

Color

not applicable

Content category

text

Content type code

• txt

Content type MARC source

rdacontent.

Contents

Preface -- Preface to the Second Edition -- I Elements of Mathematical Logic -- 1 Syntax of First-Order Languages -- 2 Models of First-Order Languages -- 3 Formal Inference Systems -- 4 Computability & Representability -- 5 Gödel Theorems -- II Logical Framework of Scientific Discovery -- 6 Sequences of Formal Theories -- 7 Revision Calculus -- 8 Version Sequences -- 9 Inductive Inference -- 10 Meta-Language Environments -- Appendix 1 Sets and Maps -- Appendix 2 Proof of the Representability Theorem -- Bibliography -- Index

Control code

978-3-0348-0862-0

Dimensions

unknown

Edition

2nd ed. 2014.

Extent

XIV, 301 pages : 13 illustrations ;

File format

multiple file formats

Form of item

electronic

Governing access note

Use of this electronic resource may be governed by a license agreement which restricts use to the European University Institute community. Each user is responsible for limiting use to individual, non-commercial purposes, without systematically downloading, distributing, or retaining substantial portions of information, provided that all copyright and other proprietary notices contained on the materials are retained. The use of software, including scripts, agents, or robots, is generally prohibited and may result in the loss of access to these resources for the entire European University Institute community

Isbn

9783034808620

Level of compression

uncompressed

Media category

computer

Media MARC source

rdamedia.

Media type code

• c

Other control number

10.1007/978-3-0348-0862-0

Other physical details

1 online resource.

Quality assurance targets

absent

Record ID

u396255

Reformatting quality

access

Specific material designation

remote

System control number

(OCoLC)899249140