Decidable Theories: Vol. 1: Ba1 4chis Monadic Second Order Successor Arithmetic
by Dirk Siefkes;Gert H Mller Gert HMa1;4ller (9783540049098)

Decidable Theories: Vol. 1: Ba1 4chis Monadic Second Order Successor Arithmetic
 

Dirk Siefkes;Gert H Mller Gert HMa1;4ller


Release Date: 10 December 1010
Format: Paperback / softback
Pages: 134
Category: Logic
Publisher: Springer
ISBN: 9783540049098
ISBN-10: 3540049096




AUD $54.95

 This title is not held in stock & is ordered from suppliers, subject to availability.



Write a customer review of Decidable Theories: Vol. 1: Ba1 4chis Monadic Second Order Successor Arithmetic.



If you like this title please tell others:

tell others

post to your Facebook wall post on Twitter post on Digg recommend to Stumbleupon bookmark on Delicious RSS feed send to a friend


Australian BookShop
Australian Bookshop. Established 2003
Search
Shopping Cart Customer Support


HolisticPage
International Online Store
of Inspiration
we ship everywhere
Australia Post
Australia Wide
.
Worldwide