Halmos's Introduction to Hilbert Space And The Theory of Spectral Multiplicity

An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof  eBooks & eLearning

Posted by AvaxGenius at July 18, 2021
An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof

An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof by Peter B. Andrews
English | PDF | 2002 | 404 Pages | ISBN : 1402007639 | 29.6 MB

This introduction to mathematical logic starts with propositional calculus and first-order logic. Topics covered include syntax, semantics, soundness, completeness, independence, normal forms, vertical paths through negation normal formulas, compactness, Smullyan's Unifying Principle, natural deduction, cut-elimination, semantic tableaux, Skolemization, Herbrand's Theorem, unification, duality, interpolation, and definability.
Coursera - Introduction to Computer Science and Programming Specialization by University of London

Coursera - Introduction to Computer Science and Programming Specialization by University of London
Video: .mp4 (1280x720) | Audio: AAC, 44100 kHz, 2ch | Size: 4.14 Gb
Genre: eLearning Video | Duration: 15h | Language: English

Get ready for computer science. Create graphical programs, learn computing mathematics, develop mental models of computer systems.

The Hard Road to Renewal: Thatcherism and the Crisis of the Left  eBooks & eLearning

Posted by l3ivo at Jan. 3, 2021
The Hard Road to Renewal: Thatcherism and the Crisis of the Left

Stuart Hall, "The Hard Road to Renewal: Thatcherism and the Crisis of the Left"
English | 1988 | ISBN: 0860919153 | 296 pages | PDF | 4.41 MB
Yearbook on Space Policy 2015: Access to Space and the Evolution of Space Activities (Repost)

Cenan Al-Ekabi, Blandina Baranes, Peter Hulsroj, "Yearbook on Space Policy 2015: Access to Space and the Evolution of Space Activities"
English | 2017 | pages: 319 | ISBN: 3709148596 | PDF | 5,2 mb

Zygmunt Bauman and the Theory of Culture  eBooks & eLearning

Posted by arundhati at Sept. 29, 2023
Zygmunt Bauman and the Theory of Culture

Dariusz Brzezinski, "Zygmunt Bauman and the Theory of Culture"
English | ISBN: 0228013968 | 2022 | 200 pages | PDF | 1497 KB

Problems in Set Theory, Mathematical Logic and the Theory of Algorithms  eBooks & eLearning

Posted by AvaxGenius at June 30, 2021
Problems in Set Theory, Mathematical Logic and the Theory of Algorithms

Problems in Set Theory, Mathematical Logic and the Theory of Algorithms by Igor Lavrov
English | PDF | 2003 | 288 Pages | ISBN : 0306477122 | 16.9 MB

Problems in Set Theory, Mathematical Logic and the Theory of Algorithms by I. Lavrov & L. Maksimova is an English translation of the fourth edition of the most popular student problem book in mathematical logic in Russian. It covers major classical topics in proof theory and the semantics of propositional and predicate logic as well as set theory and computation theory. Each chapter begins with 1-2 pages of terminology and definitions that make the book self-contained. Solutions are provided. The book is likely to become an essential part of curricula in logic.

Action and Conduct: Thomas Aquinas and the Theory of Action  eBooks & eLearning

Posted by arundhati at Nov. 28, 2021
Action and Conduct: Thomas Aquinas and the Theory of Action

Stephen L Brock, "Action and Conduct: Thomas Aquinas and the Theory of Action"
English | ISBN: 0813234255 | 2021 | 278 pages | PDF | 1528 KB

On Voluntary Servitude: False Consciousness and The Theory of Ideology  eBooks & eLearning

Posted by roxul at Oct. 19, 2024
On Voluntary Servitude: False Consciousness and The Theory of Ideology

Michael Rosen, "On Voluntary Servitude: False Consciousness and The Theory of Ideology"
English | ISBN: 0745615961 | | 304 pa

Billy Branch And The Sons Of Blues - Blues Shock (2014)  Music

Posted by popsakov at May 17, 2023
Billy Branch And The Sons Of Blues - Blues Shock (2014)

Billy Branch And The Sons Of Blues - Blues Shock (2014)
EAC Rip | FLAC (Img) + Cue + Log ~ 407 Mb | MP3 CBR320 ~ 148 Mb
Full Scans | 00:51:50 | RAR 5% Recovery
Chicago Blues / Harmonica Blues / Modern Electric Blues
Blind Pig Records #BPCD 5158

Harp master Billy Branch has been a figure of the note on the Chicago blues scene since he was discovered by Willie Dixon in 1969, and after more than four decades, he's grown from a young buck bringing new blood to the blues scene to an elder statesman who stands tall for the music's traditions. Blues Shock arrives ten years after Billy Branch last released an album, but it sounds like he and his latest edition of the Sons of Blues are still in fighting shape, playing tight, straight-ahead blues with force, imagination and wit. Blues Shock shows there's plenty of fun and fresh ideas to be found in a form as time-tested as Chicago blues. It's a great set.

Justin John and the Shadow of Sound - The Broken Cloud (2020)  Music

Posted by gribovar at Dec. 10, 2020
Justin John and the Shadow of Sound - The Broken Cloud (2020)

Justin John and the Shadow of Sound - The Broken Cloud (2020)
WEB FLAC (tracks) - 279 MB | MP3 CBR 320 kbps (LAME 3.93) - 101 MB | Front cover
Genre: Progressive/Psychedelic Rock | RAR 3% Rec. | Label: Self-released

The Broken Cloud is a true psychedelic experience.
This progressive-rock epic takes cues from bands such as Yes, King Crimson, and Pink Floyd. It grips you with music from both near and far, old and new, and from somewhere all-together different. From it's opening brigade of guitars, Hammond organ, and choral vocals, to its strange-even terrifying-marriages of Psychedelic Rock, Dark Ambience, Electronic Dance Music, Bluegrass, and Robert Johnson-esq Blues… You'll never be sure what's coming next! …and when the end is finally at hand you'll be lifted up into a thematic emotional high that you won't soon forget…