Opis
Wstęp do metateorii standardowej logiki pierwszego rzędu. Metalogika – formalna teoria systemu logicznego. Wynikami metalogiki są takie twierdzenia jak np. niesprzeczność danej logiki.
Wstęp do metateorii standardowej logiki pierwszego rzędu. Metalogika – formalna teoria systemu logicznego. Wynikami metalogiki są takie twierdzenia jak np. niesprzeczność danej logiki.