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
Personal
Book Requests
Explore
Journals
Contribution
Donate
Litera Library
Donate paper books
Add paper books
Open LITERA Point
Volume 77; Issue 3
Main
Journal of Symbolic Logic
Volume 77; Issue 3
Journal of Symbolic Logic
Volume 77; Issue 3
1
The Friedman-Sheard programme in intuitionistic logic
Leigh, Graham E.
,
Rathjen, Michael
Journal:
Journal of Symbolic Logic
Year:
2012
Language:
english
File:
PDF, 321 KB
Your tags:
english, 2012
2
Herbrand consistency of some arithmetical theories
Salehi, Saeed
Journal:
Journal of Symbolic Logic
Year:
2012
Language:
english
File:
PDF, 261 KB
Your tags:
english, 2012
3
Small substructures and decidability issues for first-order logic with two variables
Kieroński, Emanuel
,
Otto, Martin
Journal:
Journal of Symbolic Logic
Year:
2012
Language:
english
File:
PDF, 2.95 MB
Your tags:
english, 2012
4
JSL volume 77 issue 3 Cover and Front matter
Journal:
Journal of Symbolic Logic
Year:
2012
Language:
english
File:
PDF, 1.33 MB
Your tags:
english, 2012
5
Finite and infinite support in nominal algebra and logic: nominal completeness theorems for free
Gabbay, Murdoch J.
Journal:
Journal of Symbolic Logic
Year:
2012
Language:
english
File:
PDF, 1.50 MB
Your tags:
english, 2012
6
JSL volume 77 issue 3 Cover and Back matter
Journal:
Journal of Symbolic Logic
Year:
2012
Language:
english
File:
PDF, 515 KB
Your tags:
english, 2012
7
Term extraction and Ramsey's theorem for pairs
Kreuzer, Alexander P.
,
Kohlenbach, Ulrich
Journal:
Journal of Symbolic Logic
Year:
2012
Language:
english
File:
PDF, 2.42 MB
Your tags:
english, 2012
8
Non-genericity phenomena in ordered Fraïssé classes
Slutsky, Konstantin
Journal:
Journal of Symbolic Logic
Year:
2012
Language:
english
File:
PDF, 1.39 MB
Your tags:
english, 2012
9
A strong polarized relation
Garti, Shimon
,
Shelah, Saharon
Journal:
Journal of Symbolic Logic
Year:
2012
Language:
english
File:
PDF, 815 KB
Your tags:
english, 2012
10
Small representations of SL2 in the finite Morley rank category
Cherlin, Gregory
,
Deloro, Adrien
Journal:
Journal of Symbolic Logic
Year:
2012
Language:
english
File:
PDF, 1.02 MB
Your tags:
english, 2012
11
Non-finitely axiomatisable two-dimensional modal logics
Kurucz, Agi
,
Marcelino, Sérgio
Journal:
Journal of Symbolic Logic
Year:
2012
Language:
english
File:
PDF, 1012 KB
Your tags:
english, 2012
12
The Bernays-Schönfinkel-Ramsey class for set theory: decidability
Policriti, Alberto
,
Omodeo, Eugenio
Journal:
Journal of Symbolic Logic
Year:
2012
Language:
english
File:
PDF, 1.36 MB
Your tags:
english, 2012
13
On ω-categorical, generically stable groups
Dobrowolski, Jan
,
Krupiński, Krzysztof
Journal:
Journal of Symbolic Logic
Year:
2012
Language:
english
File:
PDF, 776 KB
Your tags:
english, 2012
14
-definability at uncountable regular cardinals
Lücke, Philipp
Journal:
Journal of Symbolic Logic
Year:
2012
Language:
english
File:
PDF, 2.14 MB
Your tags:
english, 2012
15
The tree property and the failure of the Singular Cardinal Hypothesis at ℵ ω 2
Sinapova, Dima
Journal:
Journal of Symbolic Logic
Year:
2012
Language:
english
File:
PDF, 169 KB
Your tags:
english, 2012
16
A sound and complete axiomatization for Dynamic Topological Logic
Fernández-Duque, David
Journal:
Journal of Symbolic Logic
Year:
2012
Language:
english
File:
PDF, 233 KB
Your tags:
english, 2012
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
×
×