Proceedings of the second International Workshop on Logical Frameworks. The contributions are concerned with the application of logical reasoning and proof theory in computer science.

Cr�ticas:

"The research of logical frameworks probably has a long future ahead, and the reviewed volume provides truthful information about the first steps into this wide field." Journal of Symbolic Logic

��ber diesen Titel� kann sich auf eine andere Ausgabe dieses Titels beziehen.

Anbieterinformationen

Independent Bookstores since 1971.

Zur Homepage des Verk�ufers

Verbandsmitglied

Verbandsmitglieder verpflichten sich, h�chste Standards einzuhalten. Sie garantieren die Echtheit aller zum Verkauf angebotenen Objekte. Ihre Objektbeschreibungen sind sachkundig und genau, etwaig vorhandene M�ngel oder Restaurationen werden offengelegt. Die Ansetzung der Verkaufspreise erfolgt nach akkurater Recherche. Alle Verk�ufe werden stets fair und redlich abgewickelt.

Unternehmensdaten des Verk�ufers

Powell's Bookstores Chicago, ABAA
1501 E. 57th Street, Chicago, IL, 60637, U.S.A.

Gesch�ftsbedingungen:

All items subject to prior sale. No questions asked refunds within 60 days. For shipping rates, click "Shipping: Rates & Speed" above. Powells Bookstore Inc., 3429 W. 47th Street, Chicago, IL 60632; catorders@powellschicago.com; 773-376- 8106. VAT: N/A.

Versandinformationen:

Orders ship within 2 business days. Domestic standard orders shipped via
USPS Bound Printed Matter; Domestic Expedited orders shipped via FedEx or UPS
Ground. All International orders shipped via courier, typically arriving
within 7-21 business days. Expedited and Standard International rates are the
same.

Zahlungsarten
akzeptiert von diesem Verk�ufer

Zu Kaufgesuchen hinzuf�gen

Verwandte Artikel zu Logical Environments

Logical Environments

Gerard Huet, Gordon Plotkin

Gebraucht - Hardcover

Unternehmensdaten des Verk�ufers