default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/journals/jsyml/jsyml23.bht:"
download as .bib file
@article{DBLP:journals/jsyml/BiermannM58,
author = {Kurt{-}R. Biermann and
Jurgen Mau},
title = {Uberprufung Einer Fruhen Anwendung Der Kombinatorik in Der Logik},
journal = {J. Symb. Log.},
volume = {23},
number = {2},
pages = {129--132},
year = {1958},
url = {https://doi.org/10.2307/2964390},
doi = {10.2307/2964390},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/BiermannM58.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/ChangM58,
author = {C. C. Chang and
Anne C. Morel},
title = {On Closure Under Direct Product},
journal = {J. Symb. Log.},
volume = {23},
number = {2},
pages = {149--154},
year = {1958},
url = {https://doi.org/10.2307/2964395},
doi = {10.2307/2964395},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/ChangM58.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Cohen58,
author = {L. Jonathan Cohen},
title = {Professor Goodstein's Formalisation of the Policeman},
journal = {J. Symb. Log.},
volume = {23},
number = {4},
pages = {420},
year = {1958},
url = {https://doi.org/10.2307/2964017},
doi = {10.2307/2964017},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Cohen58.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/CraigV58,
author = {William Craig and
Robert L. Vaught},
title = {Finite Axiomatizability Using Additional Predicates},
journal = {J. Symb. Log.},
volume = {23},
number = {3},
pages = {289--308},
year = {1958},
url = {https://doi.org/10.2307/2964289},
doi = {10.2307/2964289},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/CraigV58.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/DavisP58,
author = {Martin Davis and
Hilary Putnam},
title = {Reductions of Hilbert's Tenth Problem},
journal = {J. Symb. Log.},
volume = {23},
number = {2},
pages = {183--187},
year = {1958},
url = {https://doi.org/10.2307/2964397},
doi = {10.2307/2964397},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/DavisP58.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Dreben58,
author = {Burton S. Dreben},
title = {Twenty-Second Annual Meeting of the Association for Symbolic Logic},
journal = {J. Symb. Log.},
volume = {23},
number = {1},
pages = {103--112},
year = {1958},
url = {https://doi.org/10.2307/2964543},
doi = {10.2307/2964543},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Dreben58.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/EvansS58,
author = {Trevor Evans and
P. B. Schwartz},
title = {On Slupecki T-Functions},
journal = {J. Symb. Log.},
volume = {23},
number = {3},
pages = {267--270},
year = {1958},
url = {https://doi.org/10.2307/2964286},
doi = {10.2307/2964286},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/EvansS58.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Fitch58,
author = {Frederic Brenton Fitch},
title = {An Extensional Variety of Extended Basic Logic},
journal = {J. Symb. Log.},
volume = {23},
number = {1},
pages = {13--21},
year = {1958},
url = {https://doi.org/10.2307/2964453},
doi = {10.2307/2964453},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Fitch58.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Friedberg58,
author = {Richard M. Friedberg},
title = {Three Theorems on Recursive Enumeration. I. Decomposition. {II.} Maximal
Set. {III.} Enumeration Without Duplication},
journal = {J. Symb. Log.},
volume = {23},
number = {3},
pages = {309--316},
year = {1958},
url = {https://doi.org/10.2307/2964290},
doi = {10.2307/2964290},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsyml/Friedberg58.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Gal58,
author = {L. Novak Gal},
title = {A Note on Direct Products},
journal = {J. Symb. Log.},
volume = {23},
number = {1},
pages = {1--6},
year = {1958},
url = {https://doi.org/10.2307/2964451},
doi = {10.2307/2964451},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Gal58.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/GalRS58,
author = {I. L. Gal and
J. Barkley Rosser and
Dana S. Scott},
title = {Generalization of a Lemma of G. F. Rose},
journal = {J. Symb. Log.},
volume = {23},
number = {2},
pages = {137--138},
year = {1958},
url = {https://doi.org/10.2307/2964393},
doi = {10.2307/2964393},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/GalRS58.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Goodstein58,
author = {R. L. Goodstein},
title = {On the Formalisation of Indirect Discourse},
journal = {J. Symb. Log.},
volume = {23},
number = {4},
pages = {417--419},
year = {1958},
url = {https://doi.org/10.2307/2964016},
doi = {10.2307/2964016},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Goodstein58.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/GrzegorczykMR58,
author = {Andrzej Grzegorczyk and
Andrzej Mostowski and
Czeslaw Ryll{-}Nardzewski},
title = {The Classical and the omega-Complete Arithmetic},
journal = {J. Symb. Log.},
volume = {23},
number = {2},
pages = {188--206},
year = {1958},
url = {https://doi.org/10.2307/2964398},
doi = {10.2307/2964398},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/GrzegorczykMR58.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Harary58,
author = {Frank Harary},
title = {Note on Carnap's Relational Asymptotic Relative Frequencies},
journal = {J. Symb. Log.},
volume = {23},
number = {3},
pages = {257--260},
year = {1958},
url = {https://doi.org/10.2307/2964284},
doi = {10.2307/2964284},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Harary58.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Kreisel58,
author = {Georg Kreisel},
title = {Mathematical Significance of Consistency Proofs},
journal = {J. Symb. Log.},
volume = {23},
number = {2},
pages = {155--182},
year = {1958},
url = {https://doi.org/10.2307/2964396},
doi = {10.2307/2964396},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Kreisel58.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Kreisel58a,
author = {Georg Kreisel},
title = {Elementary Completeness Properties of Intuitionistic Logic With a
Note on Negations of Prenex Formulae},
journal = {J. Symb. Log.},
volume = {23},
number = {3},
pages = {317--330},
year = {1958},
url = {https://doi.org/10.2307/2964291},
doi = {10.2307/2964291},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Kreisel58a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Kreisel58b,
author = {Georg Kreisel},
title = {A Remark on Free Choice Sequences and the Topological Completeness
Proofs},
journal = {J. Symb. Log.},
volume = {23},
number = {4},
pages = {369--388},
year = {1958},
url = {https://doi.org/10.2307/2964012},
doi = {10.2307/2964012},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Kreisel58b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Kuroda58,
author = {Sigekatu Kuroda},
title = {An Investigation on the Logical Structure of Mathematics {(V).1} Contradictions
of Russell's Type},
journal = {J. Symb. Log.},
volume = {23},
number = {4},
pages = {393--407},
year = {1958},
url = {https://doi.org/10.2307/2964014},
doi = {10.2307/2964014},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Kuroda58.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Lorenzen58,
author = {Paul Lorenzen},
title = {Logical Reflection and Formalism},
journal = {J. Symb. Log.},
volume = {23},
number = {3},
pages = {241--249},
year = {1958},
url = {https://doi.org/10.2307/2964281},
doi = {10.2307/2964281},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Lorenzen58.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Margaris58,
author = {Angelo Margaris},
title = {A Problem of Rosser and Turquette},
journal = {J. Symb. Log.},
volume = {23},
number = {3},
pages = {271--279},
year = {1958},
url = {https://doi.org/10.2307/2964287},
doi = {10.2307/2964287},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Margaris58.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Martin58,
author = {R. M. Martin},
title = {A Formalization of Inductive Logic},
journal = {J. Symb. Log.},
volume = {23},
number = {3},
pages = {251--256},
year = {1958},
url = {https://doi.org/10.2307/2964283},
doi = {10.2307/2964283},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Martin58.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Martin58a,
author = {R. M. Martin},
title = {Twenty-Third Annual Meeting of the Association for Symbolic Logic},
journal = {J. Symb. Log.},
volume = {23},
number = {4},
pages = {456--461},
year = {1958},
url = {https://doi.org/10.2307/2964046},
doi = {10.2307/2964046},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Martin58a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Porte58,
author = {Jean Porte},
title = {Schemas Pour Le Calcul Des Propositions Fonde Sur La Conjonction Et
La Negation},
journal = {J. Symb. Log.},
volume = {23},
number = {4},
pages = {421--431},
year = {1958},
url = {https://doi.org/10.2307/2964018},
doi = {10.2307/2964018},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Porte58.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Prior58,
author = {A. N. Prior},
title = {Peirce's Axioms for Propositional Calculus},
journal = {J. Symb. Log.},
volume = {23},
number = {2},
pages = {135--136},
year = {1958},
url = {https://doi.org/10.2307/2964392},
doi = {10.2307/2964392},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Prior58.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Prior58a,
author = {A. N. Prior},
title = {Epimenides the Cretan},
journal = {J. Symb. Log.},
volume = {23},
number = {3},
pages = {261--266},
year = {1958},
url = {https://doi.org/10.2307/2964285},
doi = {10.2307/2964285},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Prior58a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Rabin58,
author = {Michael O. Rabin},
title = {On Recursively Enumerable and Arithmetic Models of Set Theory},
journal = {J. Symb. Log.},
volume = {23},
number = {4},
pages = {408--416},
year = {1958},
url = {https://doi.org/10.2307/2964015},
doi = {10.2307/2964015},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Rabin58.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Rogers58,
author = {Hartley Rogers Jr.},
title = {Godel Numberings of Partial Recursive Functions},
journal = {J. Symb. Log.},
volume = {23},
number = {3},
pages = {331--341},
year = {1958},
url = {https://doi.org/10.2307/2964292},
doi = {10.2307/2964292},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Rogers58.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/ScottS58,
author = {Dana S. Scott and
Patrick Suppes},
title = {Foundational Aspects of Theories of Measurement},
journal = {J. Symb. Log.},
volume = {23},
number = {2},
pages = {113--128},
year = {1958},
url = {https://doi.org/10.2307/2964389},
doi = {10.2307/2964389},
timestamp = {Tue, 01 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/ScottS58.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Shoenfield58,
author = {Joseph R. Shoenfield},
title = {Open Sentences and the Induction Axiom},
journal = {J. Symb. Log.},
volume = {23},
number = {1},
pages = {7--12},
year = {1958},
url = {https://doi.org/10.2307/2964452},
doi = {10.2307/2964452},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Shoenfield58.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Shoenfield58a,
author = {Joseph R. Shoenfield},
title = {Degrees of Formal Systems},
journal = {J. Symb. Log.},
volume = {23},
number = {4},
pages = {389--392},
year = {1958},
url = {https://doi.org/10.2307/2964013},
doi = {10.2307/2964013},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Shoenfield58a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Spector58,
author = {Clifford Spector},
title = {Measure-Theoretic Construction of Incomparable Hyperdegrees},
journal = {J. Symb. Log.},
volume = {23},
number = {3},
pages = {280--288},
year = {1958},
url = {https://doi.org/10.2307/2964288},
doi = {10.2307/2964288},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Spector58.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Thomas58,
author = {Ivo Thomas},
title = {A 12th Century Paradox of the Infinite},
journal = {J. Symb. Log.},
volume = {23},
number = {2},
pages = {133--134},
year = {1958},
url = {https://doi.org/10.2307/2964391},
doi = {10.2307/2964391},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Thomas58.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Turquette58,
author = {Atwell R. Turquette},
title = {Simplified Axioms for Many-Valued Quantification Theory},
journal = {J. Symb. Log.},
volume = {23},
number = {2},
pages = {139--148},
year = {1958},
url = {https://doi.org/10.2307/2964394},
doi = {10.2307/2964394},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Turquette58.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Wang58,
author = {Hao Wang},
title = {Alternative Proof of a Theorem of Kleene},
journal = {J. Symb. Log.},
volume = {23},
number = {3},
pages = {250},
year = {1958},
url = {https://doi.org/10.2307/2964282},
doi = {10.2307/2964282},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Wang58.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
retrieved on 2024-11-10 00:39 CET from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
