Amazon cover image
Image from Amazon.com

Extensions of first order logic / María Manzano

By: Manzano, MaríaMaterial type: TextTextSeries: Cambridge tracts in theoretical computer science. 99-0691101-8 ; 19Publication details: Cambridge Cambridge Univ. Press 1996 Description: xxii, 388 sISBN: 0521354358Subject(s): Symbolisk logik | Axioms | First-order logic | Logic, Symbolic and mathematical | Mathematical logic | Axiom | Logik | First-order logic | LogikDDC classification: 511.3 | 511.3 Other classification: Dca | QA 9 | 511 | Dca
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Call number Status Date due Barcode
Book (loan) Gräsvik
511 Available 40000007634

S. [352]-363: Bibliografi

Adress: Biblioteket, Blekinge Tekniska Högskola, 371 79 Karlskrona
Telefon: 0455 - 38 51 01
E-post: biblioteket@bth.se
Ansvarig för sidan: Biblioteket

Summon
Låneinformation
Söka artiklar och böcker
Kontakt och Öppettider
Om BTH
Behandling av personuppgifter