Advances in Experimental Philosophy of Logic and Mathematics