Home > Authors > Stefano Berardi > A sequent calculus for limit computable mathematics (technical report)

A sequent calculus for limit computable mathematics (technical report)

Stefano Berardi

Recent activity

Rate this book to see your activity here.

1 Book Similar to A sequent calculus for limit computable mathematics (technical report) by Stefano Berardi

Bookscovery readers who liked A sequent calculus for limit computable mathematics (technical report) also like Types for Proofs and Programs. How many of these have you read?

Types for Proofs and Programs by Stefano Berardi

I liked it Liked it

I didn't like it Didn't like

Want to read Want to read

Not interested Not for me

Review book

More books like this

Buy this book at:

Bookshop.org Amazon

Comments and reviews of A sequent calculus for limit computable mathematics (technical report)

Please sign in to leave a comment