Blank Cover Image
このページのQRコード

Büchi's monadic second order successor arithmetic

種類:
図書
責任表示:
Dirk Siefkes
出版情報:
Berlin : Springer-Verlag, 1970
著者名:
Siefkes, Dirk <DA0225885X>  
シリーズ名:
Lecture notes in mathematics ; 120 <BA00146586>
Decidable theories ; 1 <BA06659608>
注記:
Bibliography: p. [125]-127
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 電子ブック 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
7 図書 Metamathematics of first-order arithmetic

Hájek, Petr, Pudlák, Pavel, 1952-

Springer-Verlag
2 図書 The monadic second order theory of all countable ordinals

Büchi, J. Richard, 1924-1984, Siefkes, Dirk

Springer
8 図書 Конечные автоматы (поведение и синтез)

Trakhtenbrot, B. A. (Boris Avraamovich), Barzdinʹ, I︠A︡. M. (I︠A︡n Martynovich)

Изд-во "Наука", Глав. ред. физико-математической лит-ры
3 電子ブック 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
9 図書 Theory of computation

Brainerd, Walter S., Landweber, Lawrence H.

Wiley
4 図書 THE COLLECTED WORKS OF J. RICHARD BUCHI

<ED. BY> LANE, SAUNDERS MAC, SIEFKES, DIRK

SPRINGER
10 図書 Rational series and their languages

Berstel, Jean, 1941-, Reutenauer, Christophe

Springer-Verlag
5 図書 A dual of mapping cone . Sobre o conceito de transformada no cálculo de predicados

Ledergerber, Paul G., Costa, Newton C. A. da

[Instituto da Matemática e Estatística da Universidade de São Paulo]
11 図書 Introduction to the theory of computation

Engeler, Erwin, 1930-

Academic Press
6 図書 The computational complexity of logical theories

Ferrante, Jeanne, 1949-, Rackoff, Charles W., 1948-

Springer-Verlag
12 図書 Trace theory for automatic hierarchical verification of speed-independent circuits

Dill, David L.

MIT Press