m

F Nous contacter

0
     
Ouvrage

H 0 Mathematical logic

Monk, J. Donald (Principal)

Springer-Verlag

1976

531 p.

978-0-387-90170-1

00000118

03-XX ; 06-XX ; 08-XX ; 10NXX ; 26A98

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

Ville d'édition : Berlin ; Heidelberg ; N.Y.

Pays d'édition : États-Unis

Langue : Anglais

EAN13 : 9780387901701

ISBN : 0-387-90170-1

Collation : 24 cm#rel. ; Index

Collection : Graduate texts in mathematics

N° de collection : 0037

Localisation : Collection 1er étage

Type d'ouvrage : Monographie

Disponibilité : empruntable


Exemplaires

Nbre d'exemplaires : 1
Cote Code barre Commentaire
1 00000118 [disponible]
Z