Proof-TheoreticSemantics – CDs, Bücher, LPs und mehr, Seite 9

Kevin Hartnett

The Proof in the Code

The inside story of Lean, a computer program that answers the age-old question: How do you know if something is true? It began as an obscure bug-checking program at Microsoft Research developed by a lone …

Keiko Matsui (geb. 1961)

Soul Quest

"Die luftige und labyrinthische Eleganz ihrer Improvisationen und die ausgeprägte Rhythmik haben eine filmische Qualität. Die größte Leistung von Soul Quest liegt in seiner Vielseitigkeit und in der Art u…

Wishbone Ash

Portsmouth 1980 (Digisleeve)

Wishbone Ash erzielten Anfang und Mitte der 1970er Jahre beachtliche Erfolge und gehörten zu den populärsten Hardrock-Bands Englands, die es auf unglaubliche acht Top 40-Alben brachten. Nach "The Vinta…

The Goo Goo Dolls

Dizzy Up The Girl

Es ist ein Jammer dass die Band in Europa nie so recht den Durchbruch geschafft hat. Ok, »Iris« war ja eine Radiosingle und ein kleinerer Hit, aber beachtliche Chartplatzierungen konnten die Jungs trotzde…

Lionel Loueke (geb. 1973)

HH

Herbie Hancocks Lieblingsgitarrist mit einem Album, das sich ausschließlich der Musik von »HH« widmet. Lionel Loueke gilt als einer der einzigartigsten und originellsten Künstler des Jazz. Dieses Projek…

Flook

Rubai

Fabric Live 50: Autonomic

Die 100. Fabric-CD stammt von den beiden D&B-Headz dBridge (ex-Bad Company) und Instra:mental, die als kreative Keimzelle namens Autonomic die Grenzen von D&B aufheben. Inspiriert von 80er Synths, Detroit…

Impaled Nazarene

Nihil (Reissue)

Gregory Alan Isakov

Gregory Alan Isakov With the Colorado Symphony

Geboren in Johannesburg, Südafrika und zu Hause in Colorado, ist Gregory Alan Isakov die meiste Zeit in seinem Leben gereist. Seine Songs erzählen die Geschichte von Meilen und Landschaften und die Suche …

O.R.k.

Soul Of An Octopus (Repress) (Yellow Transparent Vinyl)

Nach dem fesselnden »Inflamed Rides« von 2015 waren die Mitglieder des kraftvollen Kollektivs O.R.K. (Sänger Lorenzo Esposito Fornasari, Porcupine Tree-Bassist Colin Edwin, Marta Sui Tubi-Gitarrist Carmel…

This Is The Kit

Moonshine Freeze

Bei This Is The Kit handelt es sich um ein Folkpop-Projekt der aus Bristol stammenden Wahl-Pariserin und Songwriterin Kate Stables. Es hat in der Vergangenheit bereits die Bewunderung von Kollegen wie Guy…

Soundtrip Canada

Worldmusic-Sammlungen gibt es viele - aber keine ist so schön gemacht wie diese. Kein Wunder, schließlich ist der Herausgeber ein waschechter Buchverlag, der mit fachkundiger Unterstützung durch die World…

Jonas Caldwell

The Crisis-Proof Family Budget Planner

YOUR FAMILY'S FINANCIAL SECURITY STARTS TODAYWorried about making ends meet? Stressed about job security? Uncertain how to handle emergencies? You're not alone. 60% cannot cover a $1,000 emergency. Here's…

Smino

Luv 4 Rent (Collectors Edition) (Translucent Green Vinyl)

Caroline Fothergill

Put to the Proof. A Novel

Reprint of the original, first published in 1883. The Antigonos publishing house specialises in the publication of reprints of historical books. We make sure that these works are made available to the pub…

Caroline Fothergill

Put to the Proof. A Novel

Reprint of the original, first published in 1883. The Antigonos publishing house specialises in the publication of reprints of historical books. We make sure that these works are made available to the pub…

The Duke Spirit

Sky Is Mine (180g) (White Vinyl)

Gregory Alan Isakov

Gregory Alan Isakov With the Colorado Symphony (180g)

Geboren in Johannesburg, Südafrika und zu Hause in Colorado, ist Gregory Alan Isakov die meiste Zeit in seinem Leben gereist. Seine Songs erzählen die Geschichte von Meilen und Landschaften und die Suche …

Four Year Strong

Go Down In History

Pünktlich zur Vans Warped Tour und drei Jahre nach dem letzten Album ist der Melodic-Hardore-Vierer Four Year Strong zurück. Produziert von Machine (Fall Out Boy, Everytime I Die)