Perspectives in logic logical foundations of proof complexity /

Sparad:
Bibliografiska uppgifter
Huvudupphov: Cook, Stephen, 1948-
Institutionellt upphov: ebrary, Inc
Övriga upphov: Nguyen, Phuong, 1977-
Materialtyp: Elektronisk E-bok
Språk:engelska
Utgiven: Cambridge ; New York : Cambridge University Press, 2010.
Ämnen:
Länkar:An electronic book accessible through the World Wide Web; click to view
Taggar: Lägg till en tagg
Inga taggar, Lägg till första taggen!

Liknande verk: Perspectives in logic