for Journals by Title or ISSN
for Articles by Keywords
help

Publisher: Cambridge University Press   (Total: 367 journals)

 A  B  C  D  E  F  G  H  I  J  K  L  M  N  O  P  Q  R  S  T  U  V  W  X  Y  Z  

        1 2 | Last   [Sort by number of followers]   [Restore default list]

Showing 1 - 200 of 367 Journals sorted alphabetically
Acta Neuropsychiatrica     Hybrid Journal   (Followers: 4, SJR: 0.421, h-index: 23)
Acta Numerica     Hybrid Journal   (Followers: 3, SJR: 8.044, h-index: 35)
Advances in Animal Biosciences     Full-text available via subscription   (Followers: 8)
Advances in Applied Mathematics and Mechanics     Full-text available via subscription   (SJR: 0.74, h-index: 14)
Africa     Hybrid Journal   (Followers: 19, SJR: 1.02, h-index: 28)
African Studies Review     Full-text available via subscription   (Followers: 18, SJR: 0.532, h-index: 13)
Ageing & Society     Hybrid Journal   (Followers: 38, SJR: 0.87, h-index: 55)
Agricultural and Resource Economics Review     Open Access   (Followers: 5, SJR: 0.326, h-index: 19)
AI EDAM     Hybrid Journal   (SJR: 0.438, h-index: 40)
AJS Review     Full-text available via subscription   (Followers: 2, SJR: 0.203, h-index: 4)
American Political Science Review     Hybrid Journal   (Followers: 252, SJR: 6.112, h-index: 127)
Anatolian Studies     Full-text available via subscription   (Followers: 4, SJR: 0.482, h-index: 10)
Ancient Mesoamerica     Hybrid Journal   (Followers: 10, SJR: 0.507, h-index: 29)
Anglo-Saxon England     Hybrid Journal   (Followers: 34, SJR: 0.144, h-index: 12)
animal     Hybrid Journal   (Followers: 3, SJR: 1.098, h-index: 43)
Animal Health Research Reviews     Hybrid Journal   (Followers: 3, SJR: 0.838, h-index: 41)
Animal Science     Full-text available via subscription   (Followers: 9)
Annals of Actuarial Science     Full-text available via subscription   (Followers: 1)
Annual of the British School at Athens     Full-text available via subscription   (Followers: 15, SJR: 0.101, h-index: 9)
Annual Review of Applied Linguistics     Hybrid Journal   (Followers: 36, SJR: 0.753, h-index: 22)
Antarctic Science     Hybrid Journal   (Followers: 1, SJR: 0.728, h-index: 55)
Antichthon     Full-text available via subscription   (Followers: 1, SJR: 0.126, h-index: 2)
Antiquaries J., The     Full-text available via subscription   (Followers: 8, SJR: 0.156, h-index: 3)
Antiquity     Hybrid Journal   (Followers: 27, SJR: 1.133, h-index: 54)
ANZIAM J.     Open Access   (Followers: 1, SJR: 0.151, h-index: 17)
Applied Psycholinguistics     Hybrid Journal   (Followers: 22, SJR: 1.005, h-index: 59)
APSIPA Transactions on Signal and Information Processing     Open Access   (Followers: 8, SJR: 0.339, h-index: 4)
Arabic Sciences and Philosophy     Hybrid Journal   (Followers: 9, SJR: 0.138, h-index: 13)
Arbor Clinical Nutrition Updates     Full-text available via subscription   (Followers: 3)
Archaeological Dialogues     Hybrid Journal   (Followers: 35, SJR: 0.67, h-index: 17)
Archaeological Reports     Full-text available via subscription   (Followers: 5, SJR: 0.101, h-index: 1)
arq: Architectural Research Quarterly     Hybrid Journal   (Followers: 7, SJR: 0.101, h-index: 3)
Asian J. of Comparative Law     Hybrid Journal   (Followers: 9, SJR: 0.127, h-index: 5)
Asian J. of Intl. Law     Hybrid Journal   (Followers: 12, SJR: 0.218, h-index: 5)
Asian J. of Law and Society     Hybrid Journal   (Followers: 7, SJR: 0.179, h-index: 3)
Astin Bulletin     Full-text available via subscription   (Followers: 1, SJR: 0.979, h-index: 19)
Australasian J. of Organisational Psychology     Hybrid Journal   (Followers: 9)
Australasian J. of Special Education     Full-text available via subscription   (Followers: 7, SJR: 0.199, h-index: 6)
Australian J. of Environmental Education     Full-text available via subscription   (Followers: 7, SJR: 0.299, h-index: 5)
Australian J. of Indigenous Education, The     Full-text available via subscription   (Followers: 10, SJR: 0.293, h-index: 4)
Australian J. of Rehabilitation Counseling     Full-text available via subscription   (Followers: 4, SJR: 0.114, h-index: 1)
Austrian History Yearbook     Full-text available via subscription   (Followers: 8, SJR: 0.127, h-index: 3)
Behavioral and Brain Sciences     Hybrid Journal   (Followers: 33, SJR: 0.826, h-index: 127)
Behaviour Change     Full-text available via subscription   (Followers: 13, SJR: 0.362, h-index: 27)
Behavioural and Cognitive Psychotherapy     Hybrid Journal   (Followers: 139, SJR: 0.831, h-index: 47)
Bilingualism: Language and Cognition     Hybrid Journal   (Followers: 37, SJR: 1.359, h-index: 33)
Biofilms     Full-text available via subscription   (Followers: 1)
Bird Conservation Intl.     Hybrid Journal   (Followers: 23, SJR: 0.831, h-index: 29)
BJPsych Advances     Full-text available via subscription   (Followers: 53)
Brain Impairment     Full-text available via subscription   (Followers: 2, SJR: 0.31, h-index: 13)
Breast Cancer Online     Full-text available via subscription   (Followers: 4)
Britannia     Full-text available via subscription   (Followers: 7, SJR: 0.112, h-index: 0)
British Actuarial J.     Full-text available via subscription  
British Catholic History     Hybrid Journal   (Followers: 1)
British J. for the History of Science     Hybrid Journal   (Followers: 20, SJR: 0.804, h-index: 21)
British J. of Anaesthetic and Recovery Nursing     Full-text available via subscription   (Followers: 8)
British J. of Music Education     Hybrid Journal   (Followers: 23, SJR: 0.391, h-index: 8)
British J. Of Nutrition     Hybrid Journal   (Followers: 73, SJR: 1.587, h-index: 139)
British J. of Political Science     Hybrid Journal   (Followers: 166, SJR: 2.505, h-index: 63)
British J. of Psychiatry     Hybrid Journal   (Followers: 180, SJR: 2.674, h-index: 178)
Bulletin of Entomological Research     Hybrid Journal   (Followers: 10, SJR: 0.918, h-index: 54)
Bulletin of Symbolic Logic     Full-text available via subscription   (Followers: 2, SJR: 1.405, h-index: 26)
Bulletin of the Australian Mathematical Society     Full-text available via subscription   (Followers: 1, SJR: 0.488, h-index: 30)
Bulletin of the School of Oriental and African Studies     Hybrid Journal   (Followers: 18, SJR: 0.122, h-index: 11)
Business and Human Rights J.     Full-text available via subscription   (Followers: 3)
Business Ethics Quarterly     Full-text available via subscription   (Followers: 13, SJR: 1.534, h-index: 46)
Business History Review     Full-text available via subscription   (Followers: 14, SJR: 0.291, h-index: 20)
Cambridge Archaeological J.     Hybrid Journal   (Followers: 128, SJR: 0.743, h-index: 32)
Cambridge Classical J.     Full-text available via subscription   (Followers: 18, SJR: 0.101, h-index: 6)
Cambridge J. of Postcolonial Literary Inquiry     Hybrid Journal   (Followers: 6)
Cambridge Law J.     Hybrid Journal   (Followers: 162, SJR: 0.173, h-index: 3)
Cambridge Opera J.     Hybrid Journal   (Followers: 5, SJR: 0.227, h-index: 9)
Cambridge Quarterly of Healthcare Ethics     Hybrid Journal   (Followers: 11, SJR: 0.295, h-index: 25)
Camden Fifth Series     Full-text available via subscription   (Followers: 3)
Canadian Entomologist     Hybrid Journal   (Followers: 5, SJR: 0.388, h-index: 34)
Canadian J. of Emergency Medicine     Hybrid Journal   (Followers: 11, SJR: 0.532, h-index: 32)
Canadian J. of Law & Jurisprudence     Full-text available via subscription   (Followers: 9)
Canadian J. of Law and Society     Hybrid Journal   (Followers: 19, SJR: 0.247, h-index: 6)
Canadian J. of Neurological Sciences     Full-text available via subscription   (SJR: 0.477, h-index: 53)
Canadian J. of Political Science/Revue canadienne de science politique     Full-text available via subscription   (Followers: 23, SJR: 1.161, h-index: 23)
Canadian J. on Aging     Hybrid Journal   (Followers: 10, SJR: 0.292, h-index: 29)
Canadian Yearbook of Intl. Law / Annuaire canadien de droit international     Full-text available via subscription   (Followers: 2)
Cardiology in the Young     Hybrid Journal   (Followers: 32, SJR: 0.312, h-index: 40)
Central European History     Full-text available via subscription   (Followers: 30, SJR: 0.201, h-index: 14)
Children Australia     Partially Free   (Followers: 2, SJR: 0.191, h-index: 2)
China Quarterly     Hybrid Journal   (Followers: 50, SJR: 1.058, h-index: 54)
Chinese J. of Agricultural Biotechnology     Full-text available via subscription   (Followers: 4)
Church History: Studies in Christianity and Culture     Full-text available via subscription   (Followers: 72, SJR: 0.113, h-index: 16)
Classical Quarterly     Full-text available via subscription   (Followers: 28, SJR: 0.151, h-index: 24)
Classical Review     Full-text available via subscription   (Followers: 24)
CNS Spectrums     Hybrid Journal   (Followers: 3, SJR: 0.885, h-index: 60)
Cognitive Behaviour Therapist     Hybrid Journal   (Followers: 13)
Combinatorics, Probability and Computing     Hybrid Journal   (Followers: 4, SJR: 1.013, h-index: 35)
Communications in Computational Physics     Full-text available via subscription   (Followers: 2, SJR: 1.198, h-index: 34)
Comparative Studies in Society and History     Full-text available via subscription   (Followers: 46, SJR: 0.725, h-index: 36)
Compositio Mathematica     Full-text available via subscription   (Followers: 1, SJR: 2.965, h-index: 37)
Contemporary European History     Hybrid Journal   (Followers: 25, SJR: 0.369, h-index: 16)
Continuity and Change     Hybrid Journal   (Followers: 12, SJR: 0.266, h-index: 19)
Dance Research J.     Full-text available via subscription   (Followers: 8, SJR: 0.144, h-index: 5)
Development and Psychopathology     Hybrid Journal   (Followers: 9, SJR: 2.342, h-index: 131)
Dialogue Canadian Philosophical Review/Revue canadienne de philosophie     Full-text available via subscription   (Followers: 3, SJR: 0.126, h-index: 7)
Diamond Light Source Proceedings     Full-text available via subscription  
Disaster Medicine and Public Health Preparedness     Hybrid Journal   (Followers: 11, SJR: 0.274, h-index: 24)
Du Bois Review: Social Science Research on Race     Full-text available via subscription   (Followers: 8, SJR: 0.307, h-index: 5)
Early China     Hybrid Journal   (Followers: 3)
Early Music History     Hybrid Journal   (Followers: 8, SJR: 0.164, h-index: 8)
Earth and Environmental Science Transactions of the Royal Society of Edinburgh     Hybrid Journal   (Followers: 5, SJR: 0.325, h-index: 41)
East Asian J. on Applied Mathematics     Full-text available via subscription   (SJR: 0.424, h-index: 6)
Ecclesiastical Law J.     Full-text available via subscription   (Followers: 6, SJR: 0.1, h-index: 2)
Econometric Theory     Hybrid Journal   (Followers: 16, SJR: 2.219, h-index: 52)
Economics and Philosophy     Hybrid Journal   (Followers: 15, SJR: 0.624, h-index: 19)
Edinburgh J. of Botany     Hybrid Journal   (SJR: 0.324, h-index: 20)
Eighteenth-Century Music     Hybrid Journal   (Followers: 11, SJR: 0.1, h-index: 4)
English Language and Linguistics     Hybrid Journal   (Followers: 24, SJR: 0.387, h-index: 18)
English Profile J.     Hybrid Journal   (Followers: 2)
English Today     Hybrid Journal   (Followers: 8, SJR: 0.302, h-index: 4)
Enterprise & Society : The Intl. J. of Business History     Hybrid Journal   (Followers: 16, SJR: 0.452, h-index: 17)
Environment and Development Economics     Hybrid Journal   (Followers: 32, SJR: 0.617, h-index: 43)
Environmental Conservation     Hybrid Journal   (Followers: 58, SJR: 1.09, h-index: 66)
Environmental Practice     Full-text available via subscription   (Followers: 3, SJR: 0.304, h-index: 15)
Epidemiology & Infection     Hybrid Journal   (Followers: 15, SJR: 1.32, h-index: 85)
Epidemiology and Psychiatric Sciences     Hybrid Journal   (Followers: 3, SJR: 0.699, h-index: 28)
Episteme     Hybrid Journal   (Followers: 12, SJR: 0.678, h-index: 2)
Equine and Comparative Exercise Physiology     Full-text available via subscription   (Followers: 6)
Ergodic Theory and Dynamical Systems     Hybrid Journal   (Followers: 2, SJR: 1.456, h-index: 43)
Ethics & Intl. Affairs     Full-text available via subscription   (Followers: 13, SJR: 0.464, h-index: 6)
European Constitutional Law Review (EuConst)     Full-text available via subscription   (Followers: 31, SJR: 1.269, h-index: 15)
European J. of Applied Mathematics     Hybrid Journal   (SJR: 0.939, h-index: 34)
European J. of Sociology     Hybrid Journal   (Followers: 29, SJR: 0.241, h-index: 26)
European Political Science Review     Hybrid Journal   (Followers: 20, SJR: 0.524, h-index: 5)
European Review     Hybrid Journal   (Followers: 17, SJR: 0.119, h-index: 17)
Experimental Agriculture     Hybrid Journal   (Followers: 12, SJR: 0.486, h-index: 31)
Expert Reviews in Molecular Medicine     Hybrid Journal   (Followers: 1, SJR: 1.776, h-index: 60)
Fetal and Maternal Medicine Review     Hybrid Journal   (Followers: 4, SJR: 0.178, h-index: 14)
Financial History Review     Full-text available via subscription   (Followers: 14, SJR: 0.342, h-index: 11)
Foreign Policy Bulletin     Hybrid Journal   (Followers: 6)
Forum of Mathematics, Pi     Open Access   (Followers: 1)
Forum of Mathematics, Sigma     Open Access   (Followers: 1)
Genetics Research     Hybrid Journal   (Followers: 4, SJR: 0.52, h-index: 59)
Geological Magazine     Hybrid Journal   (Followers: 16, SJR: 1.119, h-index: 64)
Glasgow Mathematical J.     Full-text available via subscription   (Followers: 1, SJR: 0.748, h-index: 25)
Global Constitutionalism     Hybrid Journal   (Followers: 16)
Global Mental Health     Open Access   (Followers: 7)
Government and Opposition     Full-text available via subscription   (Followers: 20, SJR: 0.611, h-index: 32)
Greece & Rome     Partially Free   (Followers: 21, SJR: 0.136, h-index: 15)
Hague J. on the Rule of Law     Full-text available via subscription   (Followers: 12, SJR: 0.12, h-index: 11)
Harvard Theological Review     Full-text available via subscription   (Followers: 65, SJR: 0.237, h-index: 17)
Health Economics, Policy and Law     Hybrid Journal   (Followers: 25, SJR: 0.441, h-index: 21)
Hegel Bulletin     Full-text available via subscription   (Followers: 1)
High Power Laser Science and Engineering     Open Access   (Followers: 3)
Historical J.     Hybrid Journal   (Followers: 32, SJR: 0.337, h-index: 23)
History in Africa     Full-text available via subscription   (Followers: 8)
Horizons     Partially Free   (Followers: 1, SJR: 0.112, h-index: 3)
Industrial and Organizational Psychology     Hybrid Journal   (Followers: 20, SJR: 0.47, h-index: 18)
Infection Control and Hospital Epidemiology     Full-text available via subscription   (Followers: 34, SJR: 1.985, h-index: 108)
Intl. & Comparative Law Quarterly     Full-text available via subscription   (Followers: 197, SJR: 0.324, h-index: 25)
Intl. J. of Asian Studies     Hybrid Journal   (Followers: 12, SJR: 0.107, h-index: 1)
Intl. J. of Astrobiology     Hybrid Journal   (Followers: 2, SJR: 0.384, h-index: 18)
Intl. J. of Cultural Property     Full-text available via subscription   (Followers: 13, SJR: 0.154, h-index: 1)
Intl. J. of Disability Management Research     Full-text available via subscription   (Followers: 8, SJR: 0.179, h-index: 2)
Intl. J. of Law in Context     Hybrid Journal   (Followers: 16, SJR: 0.236, h-index: 5)
Intl. J. of Microwave and Wireless Technologies     Hybrid Journal   (Followers: 8, SJR: 0.232, h-index: 11)
Intl. J. of Middle East Studies     Hybrid Journal   (Followers: 65, SJR: 0.501, h-index: 28)
Intl. J. of Technology Assessment in Health Care     Hybrid Journal   (Followers: 12, SJR: 0.854, h-index: 54)
Intl. J. of Tropical Insect Science     Hybrid Journal   (Followers: 1, SJR: 0.299, h-index: 20)
Intl. Labor and Working-Class History     Full-text available via subscription   (Followers: 11, SJR: 0.262, h-index: 14)
Intl. Organization     Full-text available via subscription   (Followers: 88, SJR: 3.67, h-index: 106)
Intl. Psychogeriatrics     Hybrid Journal   (Followers: 11, SJR: 1.068, h-index: 68)
Intl. Review of Social History     Full-text available via subscription   (Followers: 24, SJR: 0.185, h-index: 16)
Intl. Review of the Red Cross     Full-text available via subscription   (Followers: 10, SJR: 0.275, h-index: 10)
Intl. Theory: A J. of Intl. Politics, Law and Philosophy     Hybrid Journal   (Followers: 18, SJR: 0.774, h-index: 4)
Iraq     Full-text available via subscription   (Followers: 2)
Irish Historical Studies     Hybrid Journal   (Followers: 5, SJR: 0.101, h-index: 8)
Irish J. of Psychological Medicine     Hybrid Journal   (Followers: 2, SJR: 0.107, h-index: 14)
Israel Law Review     Hybrid Journal   (Followers: 2, SJR: 0.12, h-index: 2)
Itinerario     Full-text available via subscription   (Followers: 8, SJR: 0.195, h-index: 4)
J. of African History     Hybrid Journal   (Followers: 21, SJR: 0.381, h-index: 25)
J. of African Law     Full-text available via subscription   (Followers: 3, SJR: 0.125, h-index: 6)
J. of Agricultural and Applied Economics     Open Access   (Followers: 1)
J. of Agricultural Science     Full-text available via subscription   (Followers: 7, SJR: 0.56, h-index: 51)
J. of American Studies     Hybrid Journal   (Followers: 20, SJR: 0.133, h-index: 9)
J. of Anglican Studies     Hybrid Journal   (Followers: 6, SJR: 0.101, h-index: 1)
J. of Applied Animal Nutrition     Hybrid Journal   (Followers: 3)
J. of Asian Studies     Full-text available via subscription   (Followers: 36, SJR: 0.331, h-index: 31)
J. of Benefit-Cost Analysis     Hybrid Journal   (Followers: 2)
J. of Biosocial Science     Hybrid Journal   (Followers: 3, SJR: 0.561, h-index: 41)
J. of British Studies     Full-text available via subscription   (Followers: 30, SJR: 0.306, h-index: 23)
J. of Child Language     Hybrid Journal   (Followers: 20, SJR: 0.787, h-index: 55)
J. of Classics Teaching     Open Access  
J. of Dairy Research     Full-text available via subscription   (Followers: 7, SJR: 0.682, h-index: 60)
J. of Demographic Economics     Hybrid Journal   (Followers: 3)
J. of Developmental Origins of Health and Disease     Hybrid Journal   (Followers: 2, SJR: 0.74, h-index: 11)
J. of Diagnostic Radiography and Imaging     Hybrid Journal   (Followers: 4)
J. of Ecclesiastical History     Hybrid Journal   (Followers: 19, SJR: 0.123, h-index: 14)
J. of Economic History     Full-text available via subscription   (Followers: 45, SJR: 1.224, h-index: 44)
J. of Experimental Political Science     Full-text available via subscription   (Followers: 5)
J. of Financial and Quantitative Analysis     Full-text available via subscription   (Followers: 35, SJR: 2.998, h-index: 80)
J. of Fluid Mechanics     Hybrid Journal   (Followers: 139, SJR: 1.45, h-index: 155)
J. of French Language Studies     Hybrid Journal   (Followers: 5, SJR: 0.158, h-index: 8)
J. of Functional Programming     Hybrid Journal   (Followers: 1, SJR: 0.917, h-index: 39)

        1 2 | Last   [Sort by number of followers]   [Restore default list]

Journal Cover Bulletin of Symbolic Logic
  [SJR: 1.405]   [H-I: 26]   [2 followers]  Follow
    
   Full-text available via subscription Subscription journal
   ISSN (Print) 1079-8986 - ISSN (Online) 1943-5894
   Published by Cambridge University Press Homepage  [367 journals]
  • BSL volume 24 issue 1 Cover and Front matter
    • PubDate: 2018-03-01T00:00:00.000Z
      DOI: 10.1017/bsl.2018.17
      Issue No: Vol. 24, No. 1 (2018)
       
  • BSL volume 24 issue 1 Cover and Back matter
    • PubDate: 2018-03-01T00:00:00.000Z
      DOI: 10.1017/bsl.2018.18
      Issue No: Vol. 24, No. 1 (2018)
       
  • POLYMORPHISM AND THE OBSTINATE CIRCULARITY OF SECOND ORDER LOGIC: A
           VICTIMS’ TALE
    • Authors: PAOLO PISTONE
      Pages: 1 - 52
      Abstract: The investigations on higher-order type theories and on the related notion of parametric polymorphism constitute the technical counterpart of the old foundational problem of the circularity (or impredicativity) of second and higher-order logic. However, the epistemological significance of such investigations has not received much attention in the contemporary foundational debate.We discuss Girard’s normalization proof for second order type theory or System F and compare it with two faulty consistency arguments: the one given by Frege for the logical system of the Grundgesetze (shown inconsistent by Russell’s paradox) and the one given by Martin-Löf for the intuitionistic type theory with a type of all types (shown inconsistent by Girard’s paradox).The comparison suggests that the question of the circularity of second order logic cannot be reduced to Russell’s and Poincaré’s 1906 “vicious circle” diagnosis. Rather, it reveals a bunch of mathematical and logical ideas hidden behind the hazardous idea of impredicative quantification, constituting a vast (and largely unexplored) domain for foundational research.
      PubDate: 2018-03-01T00:00:00.000Z
      DOI: 10.1017/bsl.2017.43
      Issue No: Vol. 24, No. 1 (2018)
       
  • A HIERARCHY OF COMPUTABLY ENUMERABLE DEGREES
    • Authors: ROD DOWNEY; NOAM GREENBERG
      Pages: 53 - 89
      Abstract: We introduce a new hierarchy of computably enumerable degrees. This hierarchy is based on computable ordinal notations measuring complexity of approximation of ${\rm{\Delta }}_2^0$ functions. The hierarchy unifies and classifies the combinatorics of a number of diverse constructions in computability theory. It does so along the lines of the high degrees (Martin) and the array noncomputable degrees (Downey, Jockusch, and Stob). The hierarchy also gives a number of natural definability results in the c.e. degrees, including a definable antichain.
      PubDate: 2018-03-01T00:00:00.000Z
      DOI: 10.1017/bsl.2017.41
      Issue No: Vol. 24, No. 1 (2018)
       
  • A CONSTRUCTIVE EXAMINATION OF A RUSSELL-STYLE RAMIFIED TYPE THEORY
    • Authors: ERIK PALMGREN
      Pages: 90 - 106
      Abstract: In this article we examine the natural interpretation of a ramified type hierarchy into Martin-Löf type theory with an infinite sequence of universes. It is shown that under this predicative interpretation some useful special cases of Russell’s reducibility axiom are valid, namely functional reducibility. This is sufficient to make the type hierarchy usable for development of constructive mathematical analysis in the style of Bishop. We present a ramified type theory suitable for this purpose. One may regard the results of this article as an alternative solution to the problem of the proliferation of levels of real numbers in Russell’s theory, which avoids impredicativity, but instead imposes constructive logic. The intuitionistic ramified type theory introduced here also suggests that there is a natural associated notion of predicative elementary topos.
      PubDate: 2018-03-01T00:00:00.000Z
      DOI: 10.1017/bsl.2018.4
      Issue No: Vol. 24, No. 1 (2018)
       
  • Flag+algebras.+Journal+of+Symbolic+Logic,+vol.+72+(2007),+no.+4,+pp.+1239–1282.&rft.title=Bulletin+of+Symbolic+Logic&rft.issn=1079-8986&rft.date=2018&rft.volume=24&rft.spage=107&rft.epage=108&rft.aulast=Cummings&rft.aufirst=James&rft.au=James+Cummings&rft_id=info:doi/10.1017/bsl.2018.11">Alexander Razborov, Flag algebras. Journal of Symbolic Logic, vol. 72
           (2007), no. 4, pp. 1239–1282.
    • Authors: James Cummings
      Pages: 107 - 108
      PubDate: 2018-03-01T00:00:00.000Z
      DOI: 10.1017/bsl.2018.11
      Issue No: Vol. 24, No. 1 (2018)
       
  • 2016–17 WINTER MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC Hyatt
           Regency Atlanta and Marriott Atlanta Marquis Atlanta, GA, USA January
           6–7, 2017
    • Pages: 109 - 118
      PubDate: 2018-03-01T00:00:00.000Z
      DOI: 10.1017/bsl.2018.9
      Issue No: Vol. 24, No. 1 (2018)
       
  • 2017 NORTH AMERICAN ANNUAL MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC
           Boise State University Boise, ID, USA March 20–23, 2017
    • Pages: 119 - 140
      PubDate: 2018-03-01T00:00:00.000Z
      DOI: 10.1017/bsl.2018.8
      Issue No: Vol. 24, No. 1 (2018)
       
  • Notices
    • Pages: 141 - 146
      PubDate: 2018-03-01T00:00:00.000Z
      DOI: 10.1017/bsl.2018.16
      Issue No: Vol. 24, No. 1 (2018)
       
 
 
JournalTOCs
School of Mathematical and Computer Sciences
Heriot-Watt University
Edinburgh, EH14 4AS, UK
Email: journaltocs@hw.ac.uk
Tel: +00 44 (0)131 4513762
Fax: +00 44 (0)131 4513327
 
About JournalTOCs
API
Help
News (blog, publications)
JournalTOCs on Twitter   JournalTOCs on Facebook

JournalTOCs © 2009-