4da 24.05.2012 09:14 darkstar

Туториал по sequent calculus
http://logitext.ezyang.scripts.mit.edu/l...

math, logic, programming
Recommended by: @dorfe
#oggnoz
re 2 comments !recommend ~bookmark Ssubscribe
1. ojab 24.05.2012 09:18 YGG!

#oggssf :/

#oggnoz/1
rereply
2. gds → ojab /1 24.05.2012 11:43

Так ПобедимЪ!

#oggnoz/2
rereply
Do you really want to delete ?