SUMMON Search
SEARCH ALL HEC DIGITAL LIBRARY RESOURCES

Quick Search :

RECORD DETAIL
Back To Previous  
Title Buchi's monadic second order successor arithmetic
Edition
Call Number 511.65 STE
ISBN/ISSN
Author(s) Siefkes, Dirk - Personal Name
Subject(s) Sequential Machine Theory
Predicate calculus
Classification 511.65
Series Title Lecture Notes in Mathematics, vol.120
GMD Text
Language English
Publisher Springer Verlag
Publishing Year 1970
Publishing Place Berlin
Collation xii, 130p
Abstract/Notes
Specific Detail Info
Image
File Attachment
LOADING LIST...
Availability
LOADING LIST...
  Back To Previous




Select Language

Advanced Search

Title :
Author(s) :
  • SEARCHING...

Subject(s) :
  • SEARCHING...

Call # :
ISBN/ISSN :
GMD : Collection Type : Location :

Developed By

Computer Centre, Q.A.U