about
Benjamin C. Pierce. Types and programming languages. The MIT Press, Cambridge, Massachusetts, 2002, xxi + 623 pp.In Memoriam: Robin Oliver Gandy 1919–1995NoticesNoticesInner Models and Large CardinalsThe Mathematical Development of Set Theory from Cantor to CohenComputability and RecursionZermelo and the Skolem ParadoxZermelo and Set TheoryThe Road to Modern Logic—An InterpretationBernays and Set TheoryCompleteness Before Post: Bernays, Hilbert, and the Development of Propositional LogicTarski's System of GeometryAn Editor Recalls Some Hopeless PapersEarly History of the Generalized Continuum Hypothesis: 1878–1938Hájek Petr. Metamathematics of fuzzy logic. Trends in logic, vol. 4. Kluwer Academic Publishers, Dordrecht, Boston, and London, 1998, viii + 297 ppThe Absolute Arithmetic Continuum and the Unification Of all Numbers Great and SmallThe philosophy of logicOrdered Groups: A Case Study in Reverse MathematicsSecond-Order Logic and Foundations of MathematicsIn Praise of ReplacementProper Forcing and Remarkable CardinalsThe Logic of Bunched ImplicationsMachines, Logic and Quantum PhysicsBob Hale and Crispin Wright. The reason's proper study: Essays toward a neo-Fregean philosophy of mathematics. Oxford University Press, New York. 2001, 472 pp20TH WORKSHOP ON LOGIC, LANGUAGE, INFORMATION AND COMPUTATION (WoLLIC 2013) CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Darmstadt, Germany August 20–23, 201321ST WORKSHOP ON LOGIC, LANGUAGE, INFORMATION AND COMPUTATION (WoLLIC 2014) CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Valparaiso, Chile September 1–4, 201422ND WORKSHOP ON LOGIC, LANGUAGE, INFORMATION AND COMPUTATION (WoLLIC 2015) CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Bloomington, Indiana July 20–23, 201523RD WORKSHOP ON LOGIC, LANGUAGE, INFORMATION AND COMPUTATION (WoLLIC 2016) CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Puebla, Mexico August 16–19, 2016In Memoriam: Gregory Hjorth 1963–2011Leo Corry. Modern algebra and the rise of mathematical structures. Second edition. Birkhäuser Verlag, Basel, 2004, xvi + 451 pp. First edition 1996Barwise Jon and Etchemendy John. Language, proof and logic . In collaboration with Gerard Allwein, Dave Barker-Plummer, and Albert Liu. CSLI Publications, Stanford, and Seven Bridges Press, New York and London, 1999, xii + 587 pp.Allwein Gerard, BarkGödel's Reformulation of Gentzen's First Consistency Proof For Arithmetic: The No-Counterexample InterpretationReverse Mathematics and Π1 2 ComprehensionClassification from a Computable ViewpointM. Grohe, Descriptive Complexity, Canonisation, and Definable Graph Structure Theory, Cambridge University Press, Cambridge, 2017, x + 544 ppJ. Flum and M. Grohe. Parameterized complexity theory. Texts in Theoretical Computer Science. Springer, Berlin, 2006, xiii + 493 ppI. Lavrov and L. Maksimova. Problems in set theory, mathematical logic, and the theory of algorithms. The University Series in Mathematics, Kluwer Academic/Plenum Publishers, New York, 2003, ix + 282 ppReverse Mathematics and Partial Orders, University of Udine, Italy, 2014. Supervised by Alberto MarconeLogic, Computability, and Randomness
P1433
Q29012572-D5AF2EAD-BF7C-4DAD-8F26-CDE0B6E167C8Q29012797-333DC215-6337-4850-AA2C-0898740A9AC4Q29013963-4344DAB5-7720-480F-87C6-72AA24840EAEQ29304188-F26F3CC4-9F94-46C5-BD62-04C8C16EB564Q29999642-139CBA38-DA93-447C-BAF6-55308ECAC202Q30040737-5723AFE6-AF07-436F-8397-42C50C9BAC4FQ55890014-F34DA137-6BBF-45EE-A7AF-00763B642140Q55892452-38E777C4-485A-4976-84FF-F424AA3CC8FEQ55892455-31500DBA-E7F6-4E10-A0D8-3C02041AF07EQ55899225-C6A93A4D-AE0B-439E-BE2B-D1A48E223DFAQ55933845-FFCE5623-96E8-4A4E-9F58-1DE495660102Q55981796-29B80739-AF71-464E-92C0-0649A0FE7C12Q56005493-FA616F0B-A83D-4285-B5F2-0EA6FF0A5FA3Q56017268-DFEDBD2E-5722-4800-AEFA-E910B97CFD4BQ56040171-98AB60FC-485A-4B88-94D6-6764C3570A0DQ56083673-880DF053-81E0-488D-BBA1-6C47A03394AFQ56091326-DFB83A63-2E37-4FC6-A87A-A2C584FAFF29Q56139885-62AE40D6-DBCC-4D4E-9C91-AA0E0947EB0DQ56226698-DFE9F248-B58A-47B6-9EF6-FEF618BA96CEQ56228044-282F939D-2E95-4F89-9A0D-21FFEE4D4FB0Q56335878-204DEA42-9FFE-4FF7-80A3-A2CD7DC58AC2Q56335935-88BDD9B3-6BE1-497C-BAD6-F09D31EF9891Q56445140-5DE4B0AE-0702-435E-A76B-A01F4B2AA6D3Q56505530-D9B7399F-5F31-4933-8EB3-C568FC64BDC1Q56603027-AF081C5D-4F47-4614-84D8-7BCA6DC3E2D7Q56675589-DDB70614-0881-4D09-ABEB-6CB19BAD0B58Q56675591-71BEE41D-D732-4AE4-8CFF-90775264E09AQ56675593-3E88B1B4-95F6-4C7F-A63E-5917ECD1FF0DQ56675595-8210EDD5-690E-4FD2-B13E-75258798AE10Q56686695-C2627415-A917-4770-B5B7-D276FDA03511Q56852395-A6875C5A-D76F-4752-B699-DE588427309BQ56913767-F033C9C9-44B1-4A93-BDFC-E1C168587830Q57310303-05EED378-4568-4C36-8EC9-831727770486Q57951171-C2BDFF65-146B-419B-8876-D5B946064444Q59199670-5802C7EA-E904-41A5-81FC-02BEED447C42Q60016236-D3C03671-EBBC-4219-8556-9A37ED084EA8Q60016240-B06B80D3-AA7A-4962-99F1-D3A34E359B2CQ60961784-632C7FD2-6AE9-43D0-AAE2-1270206D4886Q61834866-7DB4C3B2-E396-46EE-8406-0C65B62520A7Q61927040-B8A9D55B-3EA5-42E1-879C-6DBF7682D541
P1433
description
journal
@en
revista científica
@es
rivista scientifica
@it
wetenschappelijk tijdschrift van Association for Symbolic Logic
@nl
wissenschaftliche Fachzeitschrift
@de
مجلة
@ar
name
The Bulletin of Symbolic Logic
@ast
The Bulletin of Symbolic Logic
@da
The Bulletin of Symbolic Logic
@en
The Bulletin of Symbolic Logic
@es
The Bulletin of Symbolic Logic
@fi
The Bulletin of Symbolic Logic
@fr
The Bulletin of Symbolic Logic
@it
The Bulletin of Symbolic Logic
@nb
The Bulletin of Symbolic Logic
@nl
The Bulletin of Symbolic Logic
@nn
type
label
The Bulletin of Symbolic Logic
@ast
The Bulletin of Symbolic Logic
@da
The Bulletin of Symbolic Logic
@en
The Bulletin of Symbolic Logic
@es
The Bulletin of Symbolic Logic
@fi
The Bulletin of Symbolic Logic
@fr
The Bulletin of Symbolic Logic
@it
The Bulletin of Symbolic Logic
@nb
The Bulletin of Symbolic Logic
@nl
The Bulletin of Symbolic Logic
@nn
altLabel
Bulletin of Symbolic Logic
@en
prefLabel
The Bulletin of Symbolic Logic
@ast
The Bulletin of Symbolic Logic
@da
The Bulletin of Symbolic Logic
@en
The Bulletin of Symbolic Logic
@es
The Bulletin of Symbolic Logic
@fi
The Bulletin of Symbolic Logic
@fr
The Bulletin of Symbolic Logic
@it
The Bulletin of Symbolic Logic
@nb
The Bulletin of Symbolic Logic
@nl
The Bulletin of Symbolic Logic
@nn
P1156
P1230
bullsymblogi
P1277
P1476
The Bulletin of Symbolic Logic
@en