m
MathCongrès

H 0 Logic from computer science

H

Moschovakis, Yiannis N. (Ed.)

Springer

1992

xi, 608 p. ; 23 cm

33773

théorie du calcul logique ; logique ; stratégie

https://link.springer.com/book/10.1007/978-1-4612-2822-6


Exemplaires

Nbre d'exemplaires : 1
Inventaire Code barre Localisation
1 33773 1024804 PROC 03-06 LOG

ISBN10 : 0-387-97667-1

Type de doc : C

Ville d'édition : New York NY

Pays d'édition : us

Langue ouvrage : eng

Collection : Mathematical sciences research institute publications

N° dans la collection : 021

ISSN Collection : 0940-4740

Bibliographie : Notes bibliogr.

Class. Math. 1991 : 03-06 ; 03D05 ; 68-06 ; 68Qxx

Class. Library : QA9.A1L64

N° LCCCN : 91-28180

Class. Dewey : 551.3

Ville du congrès : Berkeley CA

Pays congres : us

Année du congres : 1989

ISBN supp. : 3-540-97667-1

ID notice : 0

Lien SUDOC : https://www.sudoc.fr/022185364

Z