Skip to the content

Math 2.0

Resources / monograph

Proof Theory and Intuitionistic Systems 3S1D23F0AS

URI	`m2://res/3S1D23F0AS`
Kind	monograph
Creators	Bruno Scarpellini
Date	1971
MSC	03F99, 03-02, 03B55, 03F55
Scope	in

Expressions

e1: edition

Language	en
Date	1971
Ids	DOI 10.1007/bfb0068783, zbl 0253.02026, zbl_id 3399201

m1: print, Springer Berlin Heidelberg, 1971 (record). isbn 9783540055419, isbn 9783540368755

Relations

part_of Lecture Notes in Mathematics

Cited by

⊨ISILC Proof Theory Symposion: Dedicated to Kurt Schütte on the Occasion of His 65th Birthday Proceedings of the International Summer Institute and Logic Colloquium, Kiel 1974

Catalogue records

springer-series: 10.1007/bfb0068783 (work)
zbmath_search: 3399201 (work)