Decidable Theories II [electronic resource] : The Monadic Second Order Theory of All Countable Ordinals /
Saved in:
Main Authors: | , , , , |
---|---|
Format: | Texto biblioteca |
Language: | eng |
Published: |
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer,
1973
|
Subjects: | Mathematics., Mathematical logic., Mathematical Logic and Foundations., |
Online Access: | http://dx.doi.org/10.1007/BFb0082720 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
id |
KOHA-OAI-TEST:198570 |
---|---|
record_format |
koha |
spelling |
KOHA-OAI-TEST:1985702018-07-30T23:25:11ZDecidable Theories II [electronic resource] : The Monadic Second Order Theory of All Countable Ordinals / Büchi, J. Richard. author. Siefkes, Dirk. author. Müller, G. H. editor. Siefkes, D. editor. SpringerLink (Online service) textBerlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer,1973.engMathematics.Mathematical logic.Mathematics.Mathematical Logic and Foundations.Springer eBookshttp://dx.doi.org/10.1007/BFb0082720URN:ISBN:9783540469469 |
institution |
COLPOS |
collection |
Koha |
country |
México |
countrycode |
MX |
component |
Bibliográfico |
access |
En linea En linea |
databasecode |
cat-colpos |
tag |
biblioteca |
region |
America del Norte |
libraryname |
Departamento de documentación y biblioteca de COLPOS |
language |
eng |
topic |
Mathematics. Mathematical logic. Mathematics. Mathematical Logic and Foundations. Mathematics. Mathematical logic. Mathematics. Mathematical Logic and Foundations. |
spellingShingle |
Mathematics. Mathematical logic. Mathematics. Mathematical Logic and Foundations. Mathematics. Mathematical logic. Mathematics. Mathematical Logic and Foundations. Büchi, J. Richard. author. Siefkes, Dirk. author. Müller, G. H. editor. Siefkes, D. editor. SpringerLink (Online service) Decidable Theories II [electronic resource] : The Monadic Second Order Theory of All Countable Ordinals / |
format |
Texto |
topic_facet |
Mathematics. Mathematical logic. Mathematics. Mathematical Logic and Foundations. |
author |
Büchi, J. Richard. author. Siefkes, Dirk. author. Müller, G. H. editor. Siefkes, D. editor. SpringerLink (Online service) |
author_facet |
Büchi, J. Richard. author. Siefkes, Dirk. author. Müller, G. H. editor. Siefkes, D. editor. SpringerLink (Online service) |
author_sort |
Büchi, J. Richard. author. |
title |
Decidable Theories II [electronic resource] : The Monadic Second Order Theory of All Countable Ordinals / |
title_short |
Decidable Theories II [electronic resource] : The Monadic Second Order Theory of All Countable Ordinals / |
title_full |
Decidable Theories II [electronic resource] : The Monadic Second Order Theory of All Countable Ordinals / |
title_fullStr |
Decidable Theories II [electronic resource] : The Monadic Second Order Theory of All Countable Ordinals / |
title_full_unstemmed |
Decidable Theories II [electronic resource] : The Monadic Second Order Theory of All Countable Ordinals / |
title_sort |
decidable theories ii [electronic resource] : the monadic second order theory of all countable ordinals / |
publisher |
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, |
publishDate |
1973 |
url |
http://dx.doi.org/10.1007/BFb0082720 |
work_keys_str_mv |
AT buchijrichardauthor decidabletheoriesiielectronicresourcethemonadicsecondordertheoryofallcountableordinals AT siefkesdirkauthor decidabletheoriesiielectronicresourcethemonadicsecondordertheoryofallcountableordinals AT mullergheditor decidabletheoriesiielectronicresourcethemonadicsecondordertheoryofallcountableordinals AT siefkesdeditor decidabletheoriesiielectronicresourcethemonadicsecondordertheoryofallcountableordinals AT springerlinkonlineservice decidabletheoriesiielectronicresourcethemonadicsecondordertheoryofallcountableordinals |
_version_ |
1756267172227710976 |