Computability and logic / George S. Boolos; John P. Burgess; Richard C. Jeffrey

By:

Boolos, George, 1940-1996 [aut]

Contributor(s):

Resource type: Ressourcentyp: BuchBookLanguage: English Publisher: Cambridge [u.a.] : Cambridge Univ. Press, 2007Edition: 5. edDescription: XIII, 350 S. : graph. Darst. ; 25 cmISBN:

0521877520
9780521701464
9780521877527
0521701465

Subject(s):

Additional physical formats: Erscheint auch als: Computability and logic. Online-Ausgabe Fifth edition. Cambridge : Cambridge University Press, 2007. 1 Online-Ressource (xiii, 350 pages)MSC: MSC: *03-01 | 03Dxx | 03B10 | 03B25 | 03F30 | 03H15 | 03F40 | 03B45 | 03F03 | 03C07RVK: RVK: SK 130 | CC 2600 | ST 130LOC classification:

QA9.59

Call number: Grundsignatur: 91 A 5007(5)PPN: PPN: 527186899

Holdings ( 1 )

Holdings
Item type	Home library	Collection	Shelving location	Call number	Status	Barcode
Freihandbestand ausleihbar	Bibliothek Campus Süd	inf 1.0	Lesesaal Wirtschaftswissenschaften und Informatik (LSW)	91 A 5007(5)	Available	49303410090

Total holds: 0

Place hold
Print
Cite
Add to your cart (remove)
Save record
BIBTEX Dublin Core MARCXML MARC (non-Unicode/MARC-8) MARC (Unicode/UTF-8) MARC (Unicode/UTF-8, Standard) MODS (XML) RIS ISBD
More searches

Search for this title in:
Karlsruher Virtueller Katalog Bibliotheksportal Karlsruhe Google Scholar Andere Bibliotheken (WorldCat)