Startsida
Hjälp
Sök i LIBRIS databas

     

 

Sökning: onr:12180139 > Truth through proof :

Truth through proof : a formalist foundation for mathematics / Alan Weir

Weir, Alan (författare)
ISBN 978-0-19-954149-2 (hbk)
Oxford : Clarendon Press, 2010
Engelska xiv, 281 p.
  • Bok
Ämnesord
Stäng  

Ämnesord

Matematik  -- teori, filosofi (sao)
Mathematics  -- Philosophy. (LCSH)
Logic, Symbolic and mathematical.  (LCSH)

Klassifikation

QA8.4 (LCC)
510.1 (DDC)
Ta:d (kssb/8 (machine generated))
Inställningar Hjälp

Titeln finns på 1 bibliotek. 

Bibliotek i östra Sverige (1)

Ange som favorit

Sök vidare

Hjälp
Fler titlar av
Weir, Alan
Fler titlar om
Matematik
Matematik
och teori filosofi
Mathematics
Mathematics
och Philosophy.
Logic, Symbolic and ...

Sök utanför LIBRIS

Hjälp
Om LIBRIS
Sekretess
Blogg
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
Sondera
Uppsök

Copyright © LIBRIS - Nationella bibliotekssystem

 
pil uppåt Stäng

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