Logic and structure

>> Google Books

所蔵情報QRコード

Logic and structure / Dirk van Dalen

版:: 4th ed
資料種別:: 図書
出版情報:: Berlin : Springer, c2004
形態:: x, 263 p. ; 24 cm
シリーズ名:: Universitext <BA00021004>
著者名:: Dalen, D. van (Dirk), 1932- <DA00234657>
ISBN:: 9783540208792 [3540208798] (: pbk)
書誌ID:: BA66724956

子書誌情報

フルテキスト

所蔵情報

他の版・巻

Logic and structure. 3rd augm. ed (: gw ; : us)
Dirk van Dalen , Springer-Verlag , c1994

Logic and structure. 2nd ed., corrected 2nd print (: us:pbk. ; : gw)
Dirk van Dalen , Springer-Verlag , c1983

Logic and structure (: gw ; : us)
Dirk van Dalen , Springer-Verlag , 1980

書誌詳細

注記:

Includes bibliographical references (p. [257]-258) and index

主題:

Logic, Symbolic and mathematical

言語:

英語

目次情報:

Introduction / 0：

Propositional Logic / 1：

Propositions and Connectives / 1.1：

Semantics / 1.2：

Some Properties of Propositional logic / 1.3：

Natural Deduction / 1.4：

Completeness / 1.5：

The Missing Connectives / 1.6：

Predicate Logic / 2：

Quantifiers / 2.1：

Structures / 2.2：

The Language of a Similarity Type / 2.3：

Simple Properties of Predicate Logic / 2.4：

Identity / 2.6：

Examples / 2.7：

Adding the Existential Quantifier / 2.8：

Natural Deduction and Identity / 2.10：

Completeness and Applications / 3：

The Completeness Theorem / 3.1：

Compactness and Skolem-Lowenheim / 3.2：

Some Model Theory / 3.3：

Skolem Functions or How to Enrich Your Language / 3.4：

Second Order Logic / 4：

Intuitionistic Logic / 5：

Constructive Reasoning / 5.1：

Intuitionistic Propositional and Predicate Logic / 5.2：

Kripke Semantics / 5.3：

Normalisation / 5.4：

Cuts / 6.1：

Normalization for Classical Logic / 6.2：

Normalization for Intuitionistic Logic / 6.3：

Godel's theorem / 7：

Primitive recursive functions / 7.1：

Partial Recursive Functions / 7.2：

Recursively enumerable sets / 7.3：

Some arithmetic / 7.4：

Representability / 7.5：

Derivability / 7.6：

Incompleteness / 7.7：

Bibliography

Index

Introduction / 0：

Propositional Logic / 1：

Propositions and Connectives / 1.1：

Semantics / 1.2：

Some Properties of Propositional logic / 1.3：

Natural Deduction / 1.4：

続きを見る

東工大ブックレビュー

類似資料:

1 図書 Logic and structure (: gw ; : us) Dalen, D. van (Dirk), 1932- Springer-Verlag	7 図書 Structures in logic and computer science : a selection of essays in honor of A. Ehrenfeucht Ehrenfeucht, Andrzej, Mycielski, Jan, 1932-, Rozenberg, Grzegorz, Salomaa, Arto, 1934- Springer
2 図書 Logic and structure (: gw ; : us) Dalen, D. van (Dirk), 1932- Springer-Verlag	8 図書 Sets and integration : an outline of the development Dalen, D. van (Dirk), 1932-, Monna, A. F Wolters-Noordhoff
3 図書 Logic and structure (: us:pbk. ; : gw) Dalen, D. van (Dirk), 1932- Springer-Verlag	9 図書 Logic for applications (: us ; : gw) Nerode, Anil, 1932-, Shore, Richard A., 1946- Springer-Verlag
4 電子ブック Logic and Structure van Dalen, Dirk SpringerLink Books - AutoHoldings, Springer London	10 図書 Orthomodular structures as quantum logics (: Kluwer ; : Veda) Pták, Pavel, 1947-, Pulmannová, Sylvia, 1939- Kluwer Academic Publishers
5 図書 Logic Colloquium '78 : proceedings of the colloquium held in Mons, August 1978 Logic Colloquium, Boffa, Maurice, Dalen, D. van (Dirk), 1932-, McAloon, Kenneth North-Holland Pub. Co., Elsevier North-Holland, sole distributors for the U.S.A. and Canada	11 図書 The logic of information structures (: us ; : gw) Wansing, Heinrich Springer-Verlag
6 電子ブック Computer Science Logic Dirk van Dalen SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg	12 図書 Computer science logic : 10th International Workshop, CSL '96, Annual Conference of the EACSL, Utrecht, The Netherlands, September 21-27, 1996 : selected papers Workshop on Computer Science Logic, Dalen, D. van (Dirk), 1932-, Bezem, M. (Marc), 1956-, European Association for … Springer