( w 2 rekordach )

  1. Home
  2. KHW

Szczegóły

Tropy:
Źródło:
  1. Poznańska Szkoła Matematyczna, 199.
  2. Rozwój symboliki logicznej / Roman Murawski. - Poznań, 1988.
  3. ISSN online
Rekordy KHW:
Opisy bibliograficzne:
  1. Funkcje rekurencyjne i elementy metamatematyki : problemy zupełności, rozstrzygalności, twierdzenia Gödla / Murawski, Roman
  2. Funkcje rekurencyjne i elementy metamatematyki : problemy zupełności, rozstrzygalności, twierdzenia Gödla / Murawski, Roman