Skip to main content

Department of Computer Science Technical Reports

An Axiom System For the Weak Monadic Second Order Theory of Two Successors

Dirk Siefkes

Date of this Version

1971

Tech Report Number

71-056

Number of Pages

32

Included in

Computer Sciences Commons

COinS