Cover Image

Büchi's monadic second order successor arithmetic /

Bibliographic Details
Main Author: Siefkes, Dirk
Corporate Author: SpringerLink (Online service)
Format: eBook
Language:English
Published: Berlin ; New York : Springer-Verlag, 1970.
Series:Lecture notes in mathematics (Springer-Verlag) ; 120.
Lecture notes in mathematics (Springer-Verlag). Decidable theories ; 1.
Subjects:
Predicate calculus.
Sequential machine theory.
Calcul des prédicats.
Machines séquentielles, Théorie des.
Electronic books.
Online Access:Connect to the full text of this electronic book
Description
Item Description:Electronic resource.
Physical Description:1 online resource (xii, 130 pages)
Format:Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002.
Bibliography:Includes bibliographical references (pages 125-127).
ISBN:9783540049098 (electronic bk.)
3540049096 (electronic bk.)
9783540362524 (electronic bk.)
3540362525 (electronic bk.)
ISSN:0075-8434 ;