Buchi`s monadic second order successor arithmetic

Name: Buchi`s monadic second order successor arithmetic
Author: Siefkes, Dirk.

Author

Edition 1

list

شناسنامه

Main Entry

Siefkes, Dirk.، نویسنده

Title and Author

Buchi`s monadic second order successor arithmetic

Publication Details

برلین : : Springer Verlag، 1970م

Physical Description

xii, 130p.؛ ; 26 cm.

Subject

Predicate calculus
Sequential machine theory

series

(Lecture notes in mathematics, 120؛ )
(Decidable theories, 1؛ )

Language

انگلیسی

Retrieval Number

Congress:

انگليسي.

Bibliography :p. [125]-127.