A note an the ::::omega::::-incompleteness formalization

Sergio Galvan. A note an the ::::omega::::-incompleteness formalization. Studia Logica, 53(3):389-396, 1994.

Abstract

Abstract is missing.