formal verification Artykuły (1) Racjonalność przesunięta w czasie: ewolucyjne korzenie ludzkich błędów i architektura nowoczesnych instytucji