Логика в Санкт-Петербурге