On normalization of proofs in set theory

On normalization of proofs in set theory / Lars Hallnäs

Saved in:
Bibliographic Details
Superior document:Dissertationes mathematicae 261
VerfasserIn:
Hallnäs, Lars
Place / Publishing House:Warszawa : Panstwowe Wydawnictwo Naukowe, 1988
Year of Publication:1988
Language:English
Series:Dissertationes mathematicae 261
Subjects:
Satz (DE-588)4138320-5 Theorie (DE-588)4059787-8 Deduktion (DE-588)4011271-8 Normung (DE-588)4042626-9
Mengenlehre (DE-588)4074715-3 Beweis (DE-588)4132532-1 Mathematik (DE-588)4037944-9 Normalisierung (DE-588)4206017-5
Physical Description:100 S.
Notes:Literaturverz. S. [95]
Tags: Add Tag
No Tags, Be the first to tag this record!

Copies

BAS:IS (Library, Archiv, Collections) -

Location:BAS:IS-Magazine
Call Numbers:84784.261
Call Number 2nd Call Number Description Location Remarks Status Availability Order
84784.261 BAS:IS-Magazine Loan Available  Place a Hold

Similar Items