ADVANCED SEARCH
FILTER RESULT OF SEARCH
BY TOPIC
RESULTS OF SEARCH "series: Studies in proof theory. Lecture notes"
Theories for admissible sets a unifying approach to proof theory
Gerhard Jäger -
Bibliopolis, 2007
ISBN: 88-7088-149-0
EAN: 9788870881493
italian text
Intuitionistic type theory
Martin Löf Per -
Bibliopolis
ISBN: 88-7088-105-9
EAN: 9788870881059
italian text
Bounded arithmetic
Samuel R. Buss -
Bibliopolis, 1986
ISBN: 88-7088-150-4
EAN: 9788870881509
italian text
top