Export to Refworks Export to EndNote Email
Report an Issue

Proofs and Algorithms [electronic resource] : An Introduction to Logic and Computability / by Gilles Dowek

Author:
Dowek, Gilles
Published:
London : Springer-Verlag London Limited, 2011.
Physical Description:
volumes: digital
Additional Creators:
SpringerLink (Online service)
Access Online

Availability

I Want It

Finding items...

Series:
Subject(s):
Other Subject(s):
ISBN:
9780857291219
Note:
AVAILABLE ONLINE TO AUTHORIZED PSU USERS.
Part Of:
Springer eBooks
View MARC record | catkey: 6963735