Bulletin of Symbolic Logic
Latest Publications

TOTAL DOCUMENTS

1580
(FIVE YEARS 92)

H-INDEX

31
(FIVE YEARS 0)

Published By Cambridge University Press

1943-5894, 1079-8986
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals NOTES ON THE STABLE REGULARITY LEMMA

2021 ◽  
pp. 1-7
Author(s):  
M. MALLIARIS ◽  
S. SHELAH
Keyword(s):  
Regularity Lemma

scholarly journals VARIANTS OF KREISEL’S CONJECTURE ON A NEW NOTION OF PROVABILITY

2021 ◽  
pp. 1-15
Author(s):  
PAULO GUILHERME SANTOS ◽  
REINHARD KAHLE

scholarly journals The Jacobson Radical of a Propositional Theory

2021 ◽  
pp. 1-20
Author(s):  
Giulio Fellin ◽  
Peter Schuster ◽  
Daniel Wessel
Keyword(s):  
Jacobson Radical ◽  
Propositional Theory

scholarly journals Invariance Criteria as Meta-Constraints

2021 ◽  
pp. 1-31
Author(s):  
Gil Sagi

scholarly journals SENSE AND REFERENCE FROM A CONSTRUCTIVIST STANDPOINT

2021 ◽  
pp. 1-14
Author(s):  
MICHAEL DUMMETT
Keyword(s):  
Sense And Reference

scholarly journals An Introduction to the Scott Complexity of Countable Structures and a Survey of Recent Results

2021 ◽  
pp. 1-35
Author(s):  
Matthew Harrison-Trainor

scholarly journals DEGREES OF RANDOMIZED COMPUTABILITY

2021 ◽  
pp. 1-39
Author(s):  
RUPERT HÖLZL ◽  
CHRISTOPHER P. PORTER

scholarly journals Ackermann’s Function in Iterative Form: A Proof Assistant Experiment

2021 ◽  
pp. 1-10
Author(s):  
Lawrence C. Paulson
Keyword(s):  
Proof Assistant

scholarly journals BSL volume 27 issue 3 Cover and Back matter

2021 ◽  
Vol 27 (3) ◽  
pp. b1-b2
Load More ...
Sign in / Sign up

Export Citation Format

Share Document