Archive for Mathematical Logic

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски

Volume 31; Issue 5

Stable theories without dense forking chains

Remarks on Herbrand normal forms and Herbrand realizations

On the simplicity of the automorphism group ofP(ω)/fin

Bounds for cut elimination in intuitionistic propositional logic

EM constructions for a class of generalized quantifiers

Indescribable cardinals without diamonds