Lament Configuration
source
log in
Contraction-Free Sequent Calculi for Intuitionistic Logic
https://s3.amazonaws.com/academia.edu.documents/2867287/6clrs0vog0y7b46.pdf?AWSAccessKeyId=AKIAIWOWYYGZ2Y53UL3A&Expires=1517611084&Signature=gYZddsXfcvOAKEJtmTNJFjXVTXw%3D&response-content-disposition=inline%3B%20filename%3DContraction-free_sequent_calculi_for_int.pdf
logic
proof
search
2018-02-02 21:40:22
—
@moltar