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 22; Issue 2
Main
Bulletin of Symbolic Logic
Volume 22; Issue 2
Bulletin of Symbolic Logic
Volume 22; Issue 2
1
OPEN QUESTIONS ABOUT RAMSEY-TYPE STATEMENTS IN REVERSE MATHEMATICS
PATEY, LUDOVIC
Journal:
Bulletin of Symbolic Logic
Year:
2016
Language:
english
File:
PDF, 251 KB
Your tags:
english, 2016
2
LATTICE-ORDERED ABELIAN GROUPS AND PERFECT MV-ALGEBRAS: A TOPOS-THEORETIC PERSPECTIVE
CARAMELLO, OLIVIA
,
RUSSO, ANNA CARLA
Journal:
Bulletin of Symbolic Logic
Year:
2016
Language:
english
File:
PDF, 493 KB
Your tags:
english, 2016
3
Kenneth Kunen, The Foundations of Mathematics, Studies in Logic, Mathematical Logic and Foundations, vol. 19. College Publications, London, 2009, vii + 251 pp.
Lempp, Steffen
Journal:
Bulletin of Symbolic Logic
Year:
2016
Language:
english
File:
PDF, 64 KB
Your tags:
english, 2016
4
EARLY BOLZANO ON GROUND-CONSEQUENCE PROOFS
CENTRONE, STEFANIA
Journal:
Bulletin of Symbolic Logic
Year:
2016
Language:
english
File:
PDF, 249 KB
Your tags:
english, 2016
5
Notices
Journal:
Bulletin of Symbolic Logic
Year:
2016
Language:
english
File:
PDF, 106 KB
Your tags:
english, 2016
6
COMPUTABILITY AND THE CONNES EMBEDDING PROBLEM
GOLDBRING, ISAAC
,
HART, BRADD
Journal:
Bulletin of Symbolic Logic
Year:
2016
Language:
english
File:
PDF, 173 KB
Your tags:
english, 2016
7
Katalin Bimbó. Proof Theory: Sequent Calculi and Related Formalisms. CRC Press, Boca Raton, 2014, x + 374 pp.
Strahm, Thomas
Journal:
Bulletin of Symbolic Logic
Year:
2016
Language:
english
File:
PDF, 59 KB
Your tags:
english, 2016
8
Gregory H. Moore (ed.), The Collected Papers of Bertrand Russell, Volume 5: Toward “Principia Mathematica”, London and New York: Routledge, 2014, c + 954 and 10 plates.
Mares, Edwin
Journal:
Bulletin of Symbolic Logic
Year:
2016
Language:
english
File:
PDF, 72 KB
Your tags:
english, 2016
9
Byunghan Kim. Simplicity Theory. Oxford Logic Guides, 53. Oxford University Press, Oxford, 2014, x+224 pp.
Hils, Martin
Journal:
Bulletin of Symbolic Logic
Year:
2016
Language:
english
File:
PDF, 69 KB
Your tags:
english, 2016
10
IN MEMORIAM: HARTLEY ROGERS, JR. 1926–2015
Nerode, Anil
Journal:
Bulletin of Symbolic Logic
Year:
2016
Language:
english
File:
PDF, 60 KB
Your tags:
english, 2016
11
DEEP ${\rm{\Pi }}_1^0 $ CLASSES
BIENVENU, LAURENT
,
PORTER, CHRISTOPHER P.
Journal:
Bulletin of Symbolic Logic
Year:
2016
Language:
english
File:
PDF, 419 KB
Your tags:
english, 2016
12
BSL volume 22 issue 2 Cover and Back matter
Journal:
Bulletin of Symbolic Logic
Year:
2016
Language:
english
File:
PDF, 200 KB
Your tags:
english, 2016
13
BSL volume 22 issue 2 Cover and Front matter
Journal:
Bulletin of Symbolic Logic
Year:
2016
Language:
english
File:
PDF, 227 KB
Your tags:
english, 2016
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
×
×