The monadic second order theory of all countable ordinals

>> Amazon.co.jp

このページのQRコード

The monadic second order theory of all countable ordinals

種類:

図書

責任表示:

J. Richard Büchi, Dirk Siefkes

出版情報:

Berlin ; New York : Springer, 1973

著者名:

シリーズ名:

Lecture notes in mathematics ; 328 <BA00146586>
Decidable theories ; 2 <BA06659608>

ISBN:

9783540063452 [3540063455] (: Germany)

9780387063454 [0387063455] (: U.S.)

注記:

Includes bibliographies

所蔵情報

子書誌情報

タイトルが類似している資料

詳細

主題:

Gödel's theorem; Model theory

分類・件名:

LCC : QA3
LCC : QA9.65
DDC : 510/.8 s
DDC : 511/.3
LCSH : Gödel's theorem
LCSH : Model theory

LCCN:

73082358

TTLL:

eng

言語:

英語

形態:

vi, 217 p. ; 26 cm

目次情報:

The monadic second order theory of ω[1]	J. Richard Büchi
Axiomatization of the monadic second order theory of ω[1]	J. Richard Büchi, Dirk Siefkes

書誌ID:

BA06659481

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 電子ブック Decidable Theories : Vol. 2: The Monadic Second Order Theory of All Countable Ordinals Büchi, J.R., Siefkes, D., Müller, G.H., SpringerLink (Online service) Springer Berlin Heidelberg : Imprint: Springer	7 図書 Sentences undecidable in formalized arithmetic : an exposition of the theory of Kurt Gödel Mostowski, Andrzhei︠a︡ North-Holland Pub. Co.
2 図書 Büchi's monadic second order successor arithmetic Siefkes, Dirk Springer-Verlag	8 図書 Model theory Chang, Chen Chung, 1927-, Keisler, H. Jerome, 1936- North-Holland, Sole distributors for the U.S.A. and Canada, Elsevier Science Publishing Company, Inc.
3 電子ブック Decidable Theories : Vol. 1: Büchi`s Monadic Second Order Successor Arithmetic Siefkes, Dirk., Müller, Gert H., SpringerLink (Online service) Springer Berlin Heidelberg : Imprint: Springer	9 図書 Model theory Hodges, Wilfrid Cambridge University Press
4 図書 First order categorical logic : model-theoretical methods in the theory of topoi and related categories Makkai, Michael, 1939-, Reyes, Gonzalo E., 1937- Springer-Verlag	10 図書 Finite model theory Ebbinghaus, Heinz-Dieter, 1939-, Flum, Jörg Springer
5 図書 Undecidable theories Tarski, Alfred, 1902-, Mostowski, Andrzhei︠a︡, Robinson, Raphael M. (Raphael Mitchel), 1911- North-Holland Pub. Co.	11 図書 Basic model theory Doets, Kees CLSI Publications, FoLLI
6 図書 THE COLLECTED WORKS OF J. RICHARD BUCHI <ED. BY> LANE, SAUNDERS MAC, SIEFKES, DIRK SPRINGER	12 図書 Topological model theory Flum, Jörg, Ziegler, Martin Springer-Verlag