Rabin style speed-up of proofs: More generalized speed-up in the systems of first order logic Book Discussion

Rabin style speed-up of proofs: More generalized speed-up in the systems of first order logic

Rabin style speed-up of proofs: More generalized speed-up in the systems of first order logic (Paperback)
by

Anahit Chubaryan

Topics About This Book Topics That Mention This Book

There are no discussion topics on this book yet. Be the first to start one »

see all book discussions »
post a new topic »