Search

- English
- Norsk

English
- English
- Norsk

Administration

Home
Det matematisk-naturvitenskapelige fakultet
Matematisk institutt
Search

Home
Det matematisk-naturvitenskapelige fakultet
Matematisk institutt
Search

JavaScript is disabled for your browser. Some features of this site may not work without it.

Search

Show Advanced Filters Hide Advanced Filters

Filters

Use filters to refine the search results.

Now showing items 1-1 of 1

Sort Options:
Relevance
Title Asc
Title Desc
Issue Date Asc
Issue Date Desc
Results Per Page:
5
10
20
40
60
80
100

AN HERBRAND THEOREM FOR HIGHER ORDER LOGIC

Jervell, Herman Ruge (Research report / Forskningsrapport, 1971)

Responsible for this website
University of Oslo Library

Contact Us
duo-hjelp@ub.uio.no

For students / employees Submit master thesis Templates Access to restricted material

Browse

All of DUO Communities & Collections By Issue Date Authors Titles This Community By Issue Date Authors Titles

For library staff

Discover

1971 (1)

Document Type Forskningsrapport (1)Author

Jervell, Herman Ruge (1)

RSS Feeds

Responsible for this website
University of Oslo Library

Contact Us
duo-hjelp@ub.uio.no