Reasoning in Simple Type Theory
Christoph Benzmueller, Chad E Brown, Joerg Siekmann
Häftad, 2008
315 kr
- Fri frakt över 249 kr
- •
- Snabba leveranser
- •
- Billiga böcker
KundserviceTill classic.bokus.com
Du är på sajten för privatpersoner.
Företag, bibliotek eller offentlig verksamhet?
Du handlar på classic.bokus.com, där alla dina funktioner finns intakta.
- Skönlitteratur
- Deckare
- Barn och ungdom
- Samhälle och politik
- Psykologi och pedagogik
- Fantasy, SciFi och skräck
- Biografier
- Hälsa och familj
- Ekonomi och Ledarskap
- Mat och dryck
- Naturvetenskap och teknik
- Historia och arkeologi
- Medicin
- Kultur
- Filosofi och religion
- Pennor och tillbehör
- Sport, fritid och hobby
- Juridik
- Läromedel
- Tecknade serier
- Spel och pussel
- Språk och ordböcker
- Djur och Natur
- Ande, kropp och själ
- Hem och Trädgård
- Kalender
- Data och IT
- Reseguider
- Anteckning
- Kort, Kuvert och Brevpapper
- Måla och pyssla
- Kontorsmaterial
- Lästillbehör
- Romaner
- Romance
- Feelgood
- Essäer
- Noveller
- Action och Äventyrsromaner
- Komedi
- Litteraturvetenskap
- Poesi
- Dramatik
- Myter
- Erotiska böcker
- Antologier
- Folksagor
- Sagor
- Polisromaner
- Thriller
- Deckare
- Mysdeckare
- Psykologisk spänning
- Historiska deckare
- Klassiska deckare
- Barnböcker 3-6 år
- Barnböcker 6-9 år
- Barnböcker 9-12 år
- Barnböcker 0-3 år
- Faktaböcker
- Kapitelböcker
- Pysselböcker
- Böcker 12-15 år
- Lättlästa barnböcker
- Ungdomsböcker
- Böcker om känslor
- Klassiska barnböcker
- Populära teman
- Kokböcker för barn
- Presentböcker
- Godnattsagor
- Samhälle och kultur
- Politik och statsskick
- Social välfärd och brottslighet
- Sociologi och antropologi
- Reportage, journalistik och krönikor
- Krig och försvar
- Psykologi
- Pedagogik
- Fantasy
- Science fiction
- Skräck
- Sanna berättelser
- Biografier
- Självbiografier och Memoarer
- Tal
- Hälsa
- Självhjälp och praktiska råd
- Relationer
- Föräldraböcker
- Självförsörjning och grön livsstil
- Prepping och överlevnadskunskap
- Företagsekonomi
- Ledarskapsböcker
- Nationalekonomi
- Industrier och branscher
- Karriärplanering
- Privatekonomi
- Kokböcker
- Kokböcker från kända kockar
- Drycker
- Tobak
- Matematik och naturvetenskap
- Geovetenskap
- Teknik och industri
- Historia
- Arkeologi
- Andra medicinska specialiteter
- Medicin: allmänt
- Omvårdnad och medicinska stödfunktioner
- Klinisk medicin och internmedicin
- Medicin: icke kliniska discipliner
- Medicinska studiehandledningar och referensmaterial
- Alternativ medicin och terapier
- Kirurgi
- Veterinärmedicin
- Musikböcker
- Konstböcker
- Designböcker
- Arkitektur
- Fotoböcker
- Scenkonst och film
- Religion och tro
- Filosofi
- Pennor
- Penntillbehör
- Hantverk och handarbete
- Sportböcker
- Humor och presentböcker
- Hobby, spel och lekar
- Fordonsböcker
- Fest och bröllop
- Fiske, jakt och skytte
- Livsstil och stilguider
- Antikviteter och samlarobjekt
- Särskilda rättsområden
- Rättsvetenskap
- Lagtextsamlingar, lagböcker
- Internationell rätt
- Juridik: handböcker
- Läromedel: matematik och naturvetenskap
- Läromedel: språk
- Läromedel: yrkesutbildning och övriga ämnen
- Läromedel: samhälle och humaniora
- Läromedel: estetiska ämnen
- Läromedel: studiehandledningar och handböcker
- Tecknade serier och romaner
- Manga
- Spel
- Pussel
- Leksaker
- Språk: referensverk och allmänt
- Språkundervisning och språkinlärning
- Språkvetenskap och lingvistik
- Djurböcker
- Naturböcker
- Ande, kropp och själ
- Övernaturliga fenomen / det paranormala
- Trädgårdsböcker
- Hus och hem
- Heminredning
- Kalender och almanacka
- Adventskalender
- Systemvetenskap och AI
- Programmeringsböcker
- Informationsteknik: allmänt
- Grafik och bildbehandling
- Databaser
- Digital livsstil och datorspel
- Affärsapplikationer
- Människa – datorinteraktion
- IT-säkerhet
- Operativsystem
- Nätverk och kommunikation
- It-certifieringar
- Tillämpad datateknik
- Hårdvara
- Reseböcker
- Kartböcker
- Parlörer
- Anteckningsböcker och block
- Notisblock och flikar
- Anteckning för barn
- Gästböcker och adressböcker
- Kort
- Kuvert
- Brevpapper
- Etiketter
- Placeringskort
- Pyssel & DIY
- Måla och teckna
- Kreativitet
- Fotoalbum och tillbehör
- Skrivbordsförvaring
- Skrivbordsprodukter
- Arkivering och bokföring
- Kopieringspapper
- Bokmärken
- Bokstöd och Book Nook
- Läsglasögon
- Läslampor
