Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDThe Journal of Symbolic Logic, Volume 15
Volume 15, Number 1, March 1950
- Yehoshua Bar-Hillel:
On Syntactical Categories. 1-16 - Frederic Brenton Fitch:
A Demonstrably Consistent Mathematics - Part I. 17-24 - Hao Wang:
A Formal System of Logic. 25-32 - Wilhelm Ackermann:
Widerspruchsfreier Aufbau Der Logik I: Typenfreies System Ohne Tertium Non Datur. 33-57 - Morton G. White:
Twelfth Meeting of the Association for Symbolic Logic. 76-80
Volume 15, Number 2, June 1950
- Leon Henkin:
Completeness in the Theory of Types. 81-91 - Ruth Barcan Marcus:
The Elimination of Contextually Defined Predicates in a Modal System. 92 - Willard Van Orman Quine:
On Natural Deduction. 93-102 - Hao Wang:
Existence of Classes and Value Specification of Variables. 103-112 - J. Barkley Rosser, Hao Wang:
Non-Standard Models for Formal Logics. 113-129 - John R. Myhill:
A Reduction in the Number of Primitive Ideas of Arithmetic. 130 - R. M. Martin:
On Virtual Classes and Real Numbers. 131-134
Volume 15, Number 3, September 1950
- Laszlo Kalmar, Janos Suranyi:
On the Reduction of the Decision Problem: Third Paper. Pepis Prefix, a Single Binary Predicate. 161-173 - Jan Kalicki:
Note on Truth-Tables. 174-181 - Jan Kalicki:
A Test for the Existence of Tautologies According to Many-Valued Truth-Tables. 182-184 - John R. Myhill:
A Complete Theory of Natural, Rational, and Real Numbers. 185-196 - Frank Harary:
On Complete Atomic Proper Relation Algebras. 197-198
Volume 15, Number 4, December 1950
- Hao Wang:
Set-Theoretical Basis for Real Numbers. 241-247 - Rózsa Péter:
Zusammenhang der Mehrfachen und Transfiniten Rekursionen. 248-272 - Gisbert Hasenjaeger:
Über eine Art Von Unvollständigkeit des Prädikaten-Kalküls der Ersten Stufe. 273-276 - Antoni Janiczak:
A Remark Concerning Decidability of Complete Theories. 277-279
a service of 
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.
last updated on 2024-07-09 01:49 CEST 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:
