Toggle navigation
English
Norsk
English
English
Norsk
Administration
Toggle navigation
View Item
Home
Det matematisk-naturvitenskapelige fakultet
Matematisk institutt
Matematisk institutt
View Item
Home
Det matematisk-naturvitenskapelige fakultet
Matematisk institutt
Matematisk institutt
View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.
SET RECURSION AND Π½-LOGIC
Girard, Jean-Yves
;
Normann, Dag
Research report
View/
Open
6-1983.pdf (6.102Mb)
Year
1983
Permanent link
http://urn.nb.no/
URN:NBN:no-48115
Is part of
Preprint series: Pure mathematics
Metadata
Show metadata
Appears in the following Collection
Matematisk institutt
[3734]
Abstract
No abstract.
Search all of DUO
Only this Collection
For students / employees
Submit master thesis
Access to restricted material
Browse
All of DUO
Communities & Collections
By Issue Date
Authors
Titles
This Collection
By Issue Date
Authors
Titles
For library staff
Login
RSS Feeds