> Details

Studies in proof theory / Lecture notes

Reference
management

Direct link

Bookmarks

Remove from
bookmarks

Share this by email

Share this on Twitter

Share this on Facebook

Share this on Whatsapp

Export RIS Export BibTeX Export EndNote

Close

Bookmarks

Media type: Serial; Monograph Series
Title: Studies in proof theory
Lecture notes
Other titles: Abweichender Titel: Studies in proof theory / Lecture notes
imprint: Napoli: Bibliopolis, 1984-
Publication information: 1.1984 -
Language: Not determined
Keywords: Monografische Reihe
Origination:
Footnote:

> Publishers' series

Buss, Samuel R. [Author]
3: Bounded arithmetic Samuel R. Buss
Napoli: Bibliopolis, 1984-

Jäger, Gerhard [Author]
2: Theories for admissible sets a unifying approach to proof theory Gerhard Jäger
Napoli: Bibliopolis, 1984-

Martin-Löf, Per [Author] ; Sambin, Giovanni [Other]
1: Intuitionistic type theory Per Martin-Löf
Napoli: Bibliopolis, 1984-