Metalogic

Metalogic is the metatheory of logic. Whereas logic studies how logical systems can be used to construct valid and sound arguments, metalogic studies the properties of logical systems. Logic concerns the truths that may be derived using a logical system; metalogic concerns the truths that may be derived about the languages and systems that are used to express truths. The basic objects of metalogical study are formal languages, formal systems, and their interpretations. The study of interpretation of formal systems is the branch of mathematical logic that is known as model theory, and the study of deductive systems is the branch that is known as proof theory.

minimal-techno

Minimal Deep Tech Chart Series, Vol. 4 - 2024-11-01T00:00:00.000000Z

Van Czar Series, Vol. 56 - 2024-03-22T00:00:00.000000Z

Chronika Two - 2022-04-15T00:00:00.000000Z

Chronika - 2022-04-01T00:00:00.000000Z

Chronika Chapter IV - 2013-08-06T00:00:00.000000Z

Chronika Chapter III - 2013-08-02T00:00:00.000000Z

100 - Mixed by Space Djz - 2012-09-21T00:00:00.000000Z

Hollow Strangers - 2011-10-31T00:00:00.000000Z

Best Of Sleaze Vol.3 - 2011-09-19T00:00:00.000000Z

Remix Collection Vol. 4 - 2011-06-17T00:00:00.000000Z

Remix Collection Vol.3 - 2011-01-24T00:00:00.000000Z

Torus - 2010-11-26T00:00:00.000000Z

Remix Collection Vol.2 - 2010-08-09T00:00:00.000000Z

Urban Art Forms Black - 2009-11-20T00:00:00.000000Z

Five Tons Of Flax - 2009-05-28T00:00:00.000000Z

Cabin Pressure EP - 2009-04-17T00:00:00.000000Z

Green Movement - 2009-04-15T00:00:00.000000Z

Boxed and Warped - 2008-04-29T00:00:00.000000Z

Clangour - 2003-03-04T00:00:00.000000Z

Prospectus - 2012-05-15T00:00:00.000000Z

M Cargo EP - 2011-03-07T00:00:00.000000Z

Meltfm - 1970-01-01T00:00:00.000000Z

MIN76 - 2009-12-15T00:00:00.000000Z

Bouncer - EP - 2009-12-07T00:00:00.000000Z

Surge Stimulator - EP - 2009-09-14T00:00:00.000000Z