Computability and logic / George S. Boolos, Richard C. Jeffrey
-
- Boolos, George (författare)
-
-
Alternativt namn: Boolos, George S.
-
Jeffrey, Richard C. (författare)
- ISBN 0-521-38026-X (inb)
- 3. ed.
- Cambridge : Cambridge Univ. Press, cop. 1989
- Engelska x, 304 s.
Ämnesord
Stäng
Ämnesord
- Logic, Symbolic and mathematical (BNB)
- logic (BNB)
- Matematisk logik
Indexterm och SAB-rubrik
- Ta:d Matematik Allmänt Filosofi
- Dc Logik Filosofi Språkligt Orienterad
Klassifikation
- 511.3 (DDC)
- 511.3 (DDC)
- Ta:d (kssb/6)
- Dc (kssb/6)
Inställningar
Hjälp
Titeln finns på 6 bibliotek.
Ange som favoritAnge som favoritAnge som favoritAnge som favorit
-
Lunds universitets bibliotek, Matematiska biblioteket (Lma)Ange som favorit
-
Titeln i bibliotekets lokala katalog
-
Utlånad?Öppettider, adress m.m.
-
Lunds universitets bibliotek, E-husets bibliotek, LTH (Lte)Ange som favorit
-
Titeln i bibliotekets lokala katalog
-
-
Placering: 6.10 Boolos
-
Placering: II.2 lteLL
Utlånad?Öppettider, adress m.m.