algorithme de Markov # algèbre cylindrique # algèbre de Boole # analyse non standard # connection de la théorie des nombres avec la logique # logique des sentences # logique mathématique # logique unusuelle # machine de Turing # ordre # structure algébrique ordonnée # système mathématique général # théorie des fonctions récursives # théorie des modèles # théorie décidable et indécidables # treillis

Publisher City : Berlin ; Heidelberg ; N.Y.

Publisher country : États-Unis

Language : English

EAN13 : 9780387901701

ISBN : 0-387-90170-1

Collation : 24 cm#rel. ; Index

Series : Graduate texts in mathematics

Nb in series : 0037

Location : Collection 1er étage

Book type : Monographie

Availability : empruntable

Level of authorization : Public

Copies