m
     
Ouvrage

H 0 Bounded arithmetic, propositional logic, and complexity theory

Krajicek, Jan (Principal)

Cambridge University Press

1995

343 p.

978-0-521-45205-2

00017629

03F50 ; 03Fxx

arithmétique borné # calcul # complexité # logique # mathématique constructive # proposition logique # système de Frege # système de preuve optimal

Ville d'édition : Cambridge

Pays d'édition : Grande-Bretagne

Langue : Anglais

EAN13 : 9780521452052

ISBN : 0-521-45205-8

Collation : 24 cm#rel. ; Bibliogr. ; Index

Collection : Encyclopedia of mathematics and its applications

N° de collection : 0060

Localisation : Collection 1er étage

Type d'ouvrage : Monographie

Disponibilité : empruntable


Exemplaires

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