Proof theory and intuitionistic systems / Bruno Scarpellini

By:

Scarpellini, Bruno [aut]

Resource type: Ressourcentyp: BuchBookLanguage: English Series: Lecture notes in mathematics ; 212Publisher: Berlin, Heidelberg, New York : Springer, 1971Description: VII, 290 SISBN:

038705541X
354005541X

Subject(s):

Additional physical formats: Erscheint auch als: Proof Theory and Intuitionistic Systems. Online-Ausgabe Berlin, Heidelberg : Springer Berlin Heidelberg, 1971. Online-Ressource (VIII, 292 p, online resource)DDC classification:

511/.3

RVK: RVK: SI 850 | CC 2600LOC classification:

PPN: PPN: 022791310

Holdings ( 1 )

Holdings
Item type	Home library	Shelving location	Call number	Status	Barcode
Freihandbestand ausleihbar	Fachbibliothek Mathematik	Bibliothek / frei aufgestellt	Lect. notes / 212	Available	36291056090

Total holds: 0

Place hold
Print
Cite
Add to your cart (remove)
Save record
BIBTEX Dublin Core MARCXML MARC (non-Unicode/MARC-8) MARC (Unicode/UTF-8) MARC (Unicode/UTF-8, Standard) MODS (XML) RIS ISBD
More searches

Search for this title in:
Karlsruher Virtueller Katalog Bibliotheksportal Karlsruhe Google Scholar Andere Bibliotheken (WorldCat)