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

Bruce Springsteen

Chapter And Verse

Der Soundtrack zum Buch Am 27. September 2016 ist es soweit: Bruce Springsteen präsentiert seine umfassende, 700 Seiten starke Autobiografie »Born To Run«. Passend dazu veröffentlicht der legendäre Sän…

Praise Poems Vol.11

Jede Compilation-Serie hat ein Ende. Nach 10 grandiosen Ausgaben verabschieden wir uns nach diesem 11. Teil von der unter Sammlern und Musikliebhabern hoch geschätzten »Praise Poems«-Reihe. Ganz bewusst w…

Herbie Hancock (geb. 1940)

Flood

»Flood« - Herbie Hancock (keyb); Bennie Maupin (sax, cl, fl, perc); Blackbird McKnight (g); Paul Jackson (b); Mike Clark (dr); Bill Summers (cga, perc) Die überaus erfolgreiche Tournee des Herbie Hanco…

Dale Miller

Proof Theory and Logic Programming

This book offers a principled view of programming, showing how computation arises from logic. It explores different logical and proof-theoretic systems as foundations for programming, providing a deeper u…

Yynot

Light & Shade

Origami Angel

Feeling Not Found (Colored Vinyl)

Dennis DeYoung

26 East: Vol. 2

Dennis DeYoung hat schon bei Erscheinen von »26 East« erklärt, dass es sein Rücktritt von der Welt der aufgenommenen Musik markieren würde. Dank des CEO von Frontiers, Serafino Perugino, stimmte Dennis an…

Alex Grecian,

Proof Compendium

"Mighty entertaining." ---IGNFrom New York Times bestselling author Alex Grecian (The Yard, Red Rabbit ), and critically-acclaimed artist Riley Rossmo (Harley Quinn, The Moon Is Following Us) co…

Benjamin Perks

Trauma Proof

An expert's inspiring, deeply personal account of how childhood trauma can be overcome.

John Harvey

Living Proof

When a man is found in the middle of Alfreton Road in the early hours one Sunday morning, stark naked and bleeding heavily from a chest wound, he is the latest in a series of viscous attacks on men. Chron…

Nas

King's Disease III

»King's Disease III« ist der dritte Teil der mit dem GRAMMY Award ausgezeichneten King's Disease-Reihe von Nas und Hit-Boy und markiert die mit Spannung erwartete Rückkehr des Duos seit der Überraschungs-…

Krají&

Proof Complexity Generators

"This book presents a state-of-the-art theory in the field of proof complexity, aiming to construct hard propositional tautologies needed to solve the P vs. NP problem in the negative. The theory is …

Drew Parker

Camouflage Cowboy

Massive Attack

100th Window

Von vielen sehnlich erwartet haben MASSIVE ATTACK nun endlich ihr viertes Studio-Album fertiggestellt. Es nennt sich "100th Window", was sich auf das Buch "Dictionary Of Now" von Charles Jennings und Lori…

Tom Bulleit

Bulleit Proof

A TRUE AMERICAN PIONEER REVEALS HOW HE SINGLE-HANDEDLY TOOK ON THE LIQUOR INDUSTRYAmong bourbon aficionados around the world, Bulleit Bourbon is a household name.The story behind the brand, and the man be…

Herbie Hancock (geb. 1940)

Thrust

1974 wurde Herbie Hancock durch den Erfolg seiner Single "Chameleon" ins Rampenlicht gerückt. Die Band, inzwischen mit Mike Clark am Schlagzeug, tourte ausgiebig durch die USA, trat auf Festivals und in g…

Wishbone Ash

Wishbone Ash (1981) (UHQ-CD) (MQA-CD) (Digisleeve)

Marcin Wasilewski (geb. 1975)

Live

Seit Jahren hoffen die Fans des polnischen Marcin Wasilewski Trios auf ein Live-Album. Hier ist es nun, mitgeschnitten auf dem Jazz Middelheim Festival in Antwerpen, Belgien, im August 2016. Es fängt die …

Wild Billy Childish

Brand New Cage

Wild Billy Childish & CTMF sind mit ihrem fünften Album innerhalb von fünf Jahren zurück. »Brand New Cage« folgt dem von Fans und Kritikern gefeierten 2016er Album »SQ1« und enthält zehn neue Billy Childi…