UniCat-Search

Union Catalogue of Belgian Libraries

English | Nederlands | Français

Feedback

About UniCat

Help

News

Narrow your search

Library

ULiège (2)

KU Leuven (1)

UAntwerpen (1)

UCLouvain (1)

UGent (1)

UHasselt (1)

UMons (1)

Resource type

book (2)

Language

English (2)

Year

From To

1973 (1)

1970 (1)

Listing 1 - 2 of 2
Sort by

Book

Büchi's monadic second order successor arithmetic. 1
Authors: Siefkes, Dirk --- Müller, Gert H.
Year: 1970 Publisher: Berlin : Springer-Verlag,

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords
Décidabilité (logique mathématique)

The monadic second order theory of all countable ordinals. 2
Authors: Büchi, J. Richard --- Siefkes, Dirk --- Müller, Gert H.
ISBN: 3540063455 0387063455 354046946X 9783540063452 Year: 1973 Volume: 2 328 Publisher: Berlin : Springer-Verlag,

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords
Mathematical logic --- 510 --- Fundamental and general considerations of mathematics. Foundations, logic etc. --- 510 Fundamental and general considerations of mathematics. Foundations, logic etc. --- Predicate calculus. --- Sequential machine theory. --- Décidabilité (logique mathématique)

Listing 1 - 2 of 2
Sort by