DECIDABLE THEORIES by Dirk Siefkes, Gert H. Muller (Editor) ( 9783540049098 )

Item Details

Title:

DECIDABLE THEORIES
VOL. 1: BUCHI`S MONADIC SECOND ORDER SUCCESSOR ARITHMETIC

By:

Format:

Paperback

List price:	£22.99
We currently do not stock this item, please contact the publisher directly for further information.

ISBN 10:

3540049096

ISBN 13:

9783540049098

Publisher:

SPRINGER-VERLAG BERLIN AND HEIDELBERG GMBH & CO. KG

Pub. date:

1 January, 1970

Edition:

1970 ed.

Series:

Lecture Notes in Mathematics 120

Pages:

134

Illustrations:

XIV, 134 p.

Publication:

Germany

Imprint:

Springer-Verlag Berlin and Heidelberg GmbH & Co. K

Returns:

Returnable

Some other items by this author:

? ?-BIBLIOGRAPHY OF MATHEMATICAL LOGIC (PB)

BUCHI'S MONADIC SECOND ORDER SUCCESSOR ARITHMETIC (PB)

DECIDABLE THEORIES (PB)

FINITE AUTOMATA, THEIR ALGEBRAS AND GRAMMARS (HB)

FINITE AUTOMATA, THEIR ALGEBRAS AND GRAMMARS (PB)

FORMALE METHODEN UND KLEINE SYSTEME (PB)

FORMALISIEREN UND BEWEISEN

FORMALISIEREN UND BEWEISEN (PB)

GI-4.JAHRESTAGUNG (PB)

O-BIBLIOGRAPHY OF MATHEMATICAL LOGIC (PB)

OMEGA-BIBLIOGRAPHY OF MATHEMATICAL LOGIC (HB)

PIONIERE DER INFORMATIK (HB)

PIONIERE DER INFORMATIK (PB)

RECURSION THEORY WEEK (PB)

SOZIALGESCHICHTE DER INFORMATIK

THE COLLECTED WORKS OF J. RICHARD B UCHI (HB)

THE COLLECTED WORKS OF J. RICHARD BUCHI (PB)

TOP SELLERS IN THIS CATEGORY

Foundation Maths (Paperback / softback)

By: Anthony Croft

Pearson Education Limited

Our Price : £47.17

Mathematics for the Million (Paperback)

By: Lancelot Hogben

Prelude Books

Our Price : £8.02

Active Arithmetic! (Paperback)

By: Henning Anderson, Archie Duncanson (Trans), Verner Pedersen (Trans)

AWSNA Publications

Our Price : £9.48

A Seminar on Graph Theory (Paperback)

By: Frank Harary

Dover Publications Inc.

Our Price : £8.02

Twists, Tilings, and Tessellations (Paperback)

By: Robert J. Lang

Taylor & Francis Inc

Our Price : £65.69

BROWSE FOR BOOKS IN RELATED CATEGORIES

MATHEMATICS AND SCIENCE

mathematics

mathematical foundations