TY - CONF
TI - Formal number theory and subrecursive degree structures
AU - Kristiansen, Lars
PY - 1997
SP - 39-44
PB - Πανεπιστήμιο Κύπρου
T2 - Α' Πανελλήνιο Συμπόσιο Λογικής: πρακτικά
ER -