• English
    • Norsk
  • English 
    • English
    • Norsk
  • Administration
Search 
  •   Home
  • Det matematisk-naturvitenskapelige fakultet
  • Matematisk institutt
  • Matematisk institutt
  • Search
  •   Home
  • Det matematisk-naturvitenskapelige fakultet
  • Matematisk institutt
  • Matematisk institutt
  • Search
JavaScript is disabled for your browser. Some features of this site may not work without it.

Search

Show Advanced FiltersHide Advanced Filters

Filters

Use filters to refine the search results.

Now showing items 1-7 of 7

  • Sort Options:
  • Relevance
  • Title Asc
  • Title Desc
  • Issue Date Asc
  • Issue Date Desc
  • Results Per Page:
  • 5
  • 10
  • 20
  • 40
  • 60
  • 80
  • 100
ON SKOLEM AND HERBRAND THEOREMS FOR INTUITIONISTIC LOGIC 
Jervell, Herman Ruge (Research report / Forskningsrapport, 1972)
AN HERBRAND THEOREM FOR HIGHER ORDER LOGIC 
Jervell, Herman Ruge (Research report / Forskningsrapport, 1971)
AN HERBRAND THEOREM FOR A MODAL LOGIC 
Jervell, Herman Ruge (Research report / Forskningsrapport, 1972)
HERBRAND AND SKOLEM THEOREMS IN INFINITARY LANGUAGES 
Jervell, Herman Ruge (Research report / Forskningsrapport, 1972)
A NORMALFORM IN FIRST ORDER ARITHMETIC 
Jervell, Herman Ruge (Research report / Forskningsrapport, 1970)
CRAIG'S INTERPOLATION THEOREM FOR THE INTUITIONISTIC LOGIC OF CONSTANT DOMAINS 
Jervell, Herman Ruge (Research report / Forskningsrapport, 1971)
CORRECTION TO: A NEW PROOF OF THE CLASSICAL HERBRAND AND SKOLEM THEOREMS 
Jervell, Herman Ruge (Research report / Forskningsrapport, 1971)
 
Responsible for this website 
University of Oslo Library


Contact Us 
duo-hjelp@ub.uio.no


Privacy policy
 

 

For students / employeesSubmit master thesisAccess to restricted material

Browse

All of DUOCommunities & CollectionsBy Issue DateAuthorsTitlesThis CollectionBy Issue DateAuthorsTitles

For library staff

Login

Discover

Date Issued1972 (3)1971 (3)1970 (1)Document Type
Forskningsrapport (7)
Author
Jervell, Herman Ruge (7)
RSS Feeds
feedRSS 2.0
 
Responsible for this website 
University of Oslo Library


Contact Us 
duo-hjelp@ub.uio.no


Privacy policy