Bibliopolis Libri
Libri editi da Bibliopolis pubblicati nella collana Studies In Proof Theory Lecture Notes Logica matematica
LIBRO 9788870881493
Theories for admissible sets a unifying approach to proof theory Jäger Gerhard - Bibliopolis, 1986 - Studies In Proof Theory.Lecture Notes
Theories for admissible sets a unifying approach to proof theory - Bibliopolis
disp. incerta
ACQUISTA
LIBRO 9788870881059
Intuitionistic type theory Martin Löf Per - Bibliopolis, 1984 - Studies In Proof Theory.Lecture Notes
Intuitionistic type theory - Bibliopolis
disp. incerta
ACQUISTA
LIBRO 9788870881509
Bounded arithmetic Buss Samuel R. - Bibliopolis, 1986 - Studies In Proof Theory.Lecture Notes
Bounded arithmetic - Bibliopolis
disp. incerta
ACQUISTA