books search
books
articles search
articles
Donate
Log In
Log In
to access more features
personal recommendations
Telegram Bot
download history
send to Email or Kindle
manage booklists
save to favorites
Explore
Journals
Contribution
Donate
Litera Library
Donate paper books
Add paper books
Open LITERA Point
Volume 21; Issue 2
Main
Bulletin of Symbolic Logic
Volume 21; Issue 2
Bulletin of Symbolic Logic
Volume 21; Issue 2
1
21ST WORKSHOP ON LOGIC, LANGUAGE, INFORMATION AND COMPUTATION (WoLLIC 2014) CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Valparaiso, Chile September 1–4, 2014
Journal:
Bulletin of Symbolic Logic
Year:
2015
Language:
english
File:
PDF, 43 KB
Your tags:
english, 2015
2
HEINRICH BEHMANN’S 1921 LECTURE ON THE DECISION PROBLEM AND THE ALGEBRA OF LOGIC
MANCOSU, PAOLO
,
ZACH, RICHARD
Journal:
Bulletin of Symbolic Logic
Year:
2015
Language:
english
File:
PDF, 341 KB
Your tags:
english, 2015
3
Itay Neeman. Aronszajn trees and failure of the Singular Cardinal Hypothesis. Journal of Mathematical Logic, vol. 9, no. 1 (2009), pp. 139–157.Dima Sinapova. The tree property at אּω+1. Journal of Symbolic Logic, vol. 77, no. 1 (2012), pp. 279–290.Dima Sinapova. The tree property and the failure of SCH at uncountable cofinality. Archive for Mathematical Logic, vol. 51, no. 5-6 (2012), pp. 553–562.Dima Sinapova. The tree property and the failure of the Singular Cardinal Hypothesis at אּω 2. Journal of Symbolic Logic, vol. 77, no. 3 (2012), pp. 934–946.Spencer Unger. Aronszajn trees and the successors of a singular cardinal. Archive for Mathematical Logic, vol. 52, no. 5-6 (2013), pp. 483–496.Itay Neeman. The tree property up to אּω+1. Journal o
Cummings, James
Journal:
Bulletin of Symbolic Logic
Year:
2015
Language:
english
File:
PDF, 89 KB
Your tags:
english, 2015
4
HERBRAND’S THEOREM AND NON-EUCLIDEAN GEOMETRY
BEESON, MICHAEL
,
BOUTRY, PIERRE
,
NARBOUX, JULIEN
Journal:
Bulletin of Symbolic Logic
Year:
2015
Language:
english
File:
PDF, 148 KB
Your tags:
english, 2015
5
GEOMETRISATION OF FIRST-ORDER LOGIC
DYCKHOFF, ROY
,
NEGRI, SARA
Journal:
Bulletin of Symbolic Logic
Year:
2015
Language:
english
File:
PDF, 351 KB
Your tags:
english, 2015
6
2014 NORTH AMERICAN ANNUAL MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC University of Colorado, Boulder Boulder, CO, USA May 19–22, 2014
Journal:
Bulletin of Symbolic Logic
Year:
2015
Language:
english
File:
PDF, 321 KB
Your tags:
english, 2015
7
2014 SPRING MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC Westin Gaslamp Quarter San Diego, California April 16–17, 2014
Journal:
Bulletin of Symbolic Logic
Year:
2015
Language:
english
File:
PDF, 121 KB
Your tags:
english, 2015
8
2014 WINTER MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC Marriott Philadelphia Downtown Philadelphia, Pennsylvania December 28–30, 2014
Journal:
Bulletin of Symbolic Logic
Year:
2015
Language:
english
File:
PDF, 101 KB
Your tags:
english, 2015
9
Notices
Journal:
Bulletin of Symbolic Logic
Year:
2015
Language:
english
File:
PDF, 89 KB
Your tags:
english, 2015
10
BSL volume 21 issue 2 Cover and Back matter
Journal:
Bulletin of Symbolic Logic
Year:
2015
Language:
english
File:
PDF, 198 KB
Your tags:
english, 2015
11
MODEL THEORY AND GROUPS, ISTANBUL 4 CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Istanbul, Turkey March 26–28, 2015
Journal:
Bulletin of Symbolic Logic
Year:
2015
Language:
english
File:
PDF, 36 KB
Your tags:
english, 2015
12
BSL volume 21 issue 2 Cover and Front matter
Journal:
Bulletin of Symbolic Logic
Year:
2015
Language:
english
File:
PDF, 209 KB
Your tags:
english, 2015
1
Follow
this link
or find "@BotFather" bot on Telegram
2
Send /newbot command
3
Specify a name for your chatbot
4
Choose a username for the bot
5
Copy an entire last message from BotFather and paste it here
×
×