Format:
XX, 425 S.: 1 Portr., graph.Darst.
ISBN:
0-444-85345-6
Series Statement:
Studies in Logic and the foundations of mathematics. 101.
Language:
English
Subjects:
Mathematics
Keywords:
Intuitionistische Logik
;
Rekursionstheorie
;
Intuitionistische Mathematik
;
Konferenzschrift
Author information:
Barwise, Jon 1942-2000