Büchi's monadic second order successor arithmetic View on Open Library

Büchi's monadic second order successor arithmetic

by Dirk Siefkes

No reviews yet
First published: 1970 2 languages ISBN: 9783662366783
Subjects
Predicate calculus Sequential machine theory

Reviews

Log in or sign up to write a review.

No reviews yet. Be the first!

More by Dirk Siefkes

Formalisieren und Beweisen

Formalisieren und Beweisen

Pioniere der Informatik

Pioniere der Informatik

Sozialgeschichte der Informatik

Sozialgeschichte der Informatik

Gi-4.Jahrestagung

Gi-4.Jahrestagung

BFuchi's monadic second order successor arithmetic

BFuchi's monadic second order successor ...

Decidable Theories : Vol. 1

Decidable Theories : Vol. 1

You Might Also Like

More in Predicate calculus
Beginning logic

Beginning logic

E. J. Lemmon
Worlds, times, and selves

Worlds, times, and selves

A. N. Prior
Subsystems of second-order arithmetic

Subsystems of second-order arithmetic

Stephen G. Simpson
Elements of Deductive Inference

Elements of Deductive Inference

Joseph Bessie
Two papers on the predicate calculus

Two papers on the predicate calculus

Stephen Cole Kleene
Technical Methods In Philosophy

Technical Methods In Philosophy

John Pollock