Startsida
Hjälp
Sök i LIBRIS databas

     

 

Sökning: onr:117028 > Characterization pr...

Characterization problems in higher type recursion theory / by Dag Normann

Normann, Dag (författare)
Oslo, [1976]
Engelska 3 bl.
  • BokAvhandling(Diss. (sammanfattning) Oslo : Univ.)
Ämnesord
Stäng  

Ämnesord

Matematisk logik 

Indexterm och SAB-rubrik

Ta Matematik Allmänt

Klassifikation

510.57 (UDK)
510 (DDC)
Ta (kssb/5)
Inställningar Hjälp

Titeln finns på 3 bibliotek. 

Bibliotek i Mellansverige (1)

Ange som favorit

Bibliotek i västra Sverige (1)

Ange som favorit

Bibliotek i södra Sverige (1)

Ange som favorit

Sök vidare

Hjälp
Fler titlar av
Normann, Dag
Fler titlar om
Matematisk logik

Sök utanför LIBRIS

Hjälp
Om LIBRIS
Sekretess
Hjälp
Fel i posten?
Kontakt
Teknik och format
Sök utifrån
Sökrutor
Plug-ins
Bookmarklet
Anpassa
Textstorlek
Kontrast
Vyer
LIBRIS söktjänster
SwePub
Uppsök

Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.

Copyright © LIBRIS - Nationella bibliotekssystem

 
pil uppåt Stäng

Kopiera och spara länken för att återkomma till aktuell vy