Lex

Browse

GenresShelvesPremiumBlog

Company

AboutJobsPartnersSell on LexAffiliates

Resources

DocsInvite FriendsFAQ

Legal

Terms of ServicePrivacy Policygeneral@lex-books.com(215) 703-8277

© 2026 LexBooks, Inc. All rights reserved.

Tenth Annual IEEE Symposium on Logic in Computer ScienceTenth Annual IEEE Symposium on Logic in Computer Science

Tenth Annual IEEE Symposium on Logic in Computer Science

Proceedings, June 26-29, 1995, San Diego, California (Symposium on Logic in Computer Science//Proceedings)

Dexter Kozen

Details

OL Work ID
OL3847865W

Find this book

Open Library
Book data from Open Library. Cover images courtesy of Open Library.