Startsida
Hjälp
Sök i LIBRIS databas

     

 

Sökning: onr:9781 > Sentences undecidab...

Sentences undecidable in formalized arithmetic : an exposition of the theory of Kurt Gödel / Andrzej Mostowski

Mostowski, Andrzej (författare)
Amsterdam : North-Holland, 1952
Engelska 117 s.
Serie: Studies in logic and the foundations of mathematics, 0049-237X
  • Bok
Ämnesord
Stäng  

Ämnesord

Logic, Symbolic and mathematical  (LCSH)
Semantics (Philosophy)  (LCSH)

Personnamn

Gödel, Kurt, 1906-1978

Indexterm och SAB-rubrik

Dc Logik Filosofi Språkligt Orienterad
Ta:d Matematik Allmänt Filosofi

Klassifikation

517.1 (UDK)
100 (DDC)
510.1 (DDC)
Dc (kssb/5)
Ta:d (kssb/5)
03F30 (msc)
Inställningar Hjälp

Titeln finns på 11 bibliotek. 

Bibliotek i Mellansverige (2)

Ange som favorit

Bibliotek i Stockholmsregionen (3)

Ange som favorit

Bibliotek i östra Sverige (1)

Ange som favorit

Bibliotek i västra Sverige (1)

Ange som favorit

Bibliotek i södra Sverige (4)

Ange som favorit
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