iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: https://dblp.org/rec/journals/apal/BaratellaM03.xml
Stefano Baratella Andrea Masini A proof-theoretic investigation of a logic of positions. 135-162 2003 123 Ann. Pure Appl. Log. 1-3 https://doi.org/10.1016/S0168-0072(03)00021-6 db/journals/apal/apal123.html#BaratellaM03