Wydawnictwo:Petr Hayek tytuł oryginału: Metamathematics of First-Order Arithmetic (Perspectives in Mathematical Logic) kategoria: informatyka i matematyka język:angielski