Computability and human symbolic output

Logic and Logical Philosophy, Tom 23, Numer 4 (2014) s. 391-401
Jason Megill, Tim Melvin

 

do góry