TY - CONF
TI - Subsystems of Peano Arithmetic: some results and problems
AU - Δημητρακόπουλος, Κωνσταντίνος
PY - 1997
SP - 1-5
PB - Πανεπιστήμιο Κύπρου
T2 - Α' Πανελλήνιο Συμπόσιο Λογικής: πρακτικά
ER -