ScienceGate
Advanced Search
Author Search
Journal Finder
Blog
Sign in / Sign up
ScienceGate
Search
Author Search
Journal Finder
Blog
Sign in / Sign up
Hao Wang. The predicate calculus. A survey of mathematical logic. Studies in logic and the foundations of mathematics, Science Press, Peking, and North-Holland Publishing Company, Amsterdam, 1963, pp. 307–321.
Journal of Symbolic Logic
◽
10.2307/2271072
◽
1963
◽
Vol 28
(3)
◽
pp. 250-250
Author(s):
Steven Orey
Keyword(s):
Mathematical Logic
◽
Publishing Company
◽
Predicate Calculus
◽
Foundations Of Mathematics
◽
North Holland Publishing Company
◽
North Holland Publishing
Download Full-text
Related Documents
Cited By
References
A. Tarski. Equational logic and equational theories of algebras. Contributions to mathematical logic, Proceedings of the Logic Colloquium, Hannover 1966, edited by H. Arnold Schmidt, K. Schütte, and H.-J. Thiele, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1968, pp. 275–288.
Journal of Symbolic Logic
◽
10.2307/2271553
◽
1971
◽
Vol 36
(1)
◽
pp. 161-162
Author(s):
Ralph Seifert
Keyword(s):
Mathematical Logic
◽
Publishing Company
◽
Foundations Of Mathematics
◽
Equational Logic
◽
North Holland Publishing Company
◽
Equational Theories
◽
North Holland Publishing
Download Full-text
A. A. Markov. An approach to constructive mathematical logic. Logic, methodology and philosophy of science III, Proceedings of the Third International Congress for Logic, Methodology and Philosophy of Science, Amsterdam 1967, edited by B. van Rootselaar and J. F. Staal, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1968, pp. 283–294. - A. A. Markov. Essai de construction d'une logique de la mathématique constructive. Revue Internationale de philosophic, vol. 25 (1971), pp. 477–507.
Journal of Symbolic Logic
◽
10.2307/2272282
◽
1975
◽
Vol 40
(1)
◽
pp. 85-85
Author(s):
Brian H. Mayoh
Keyword(s):
Mathematical Logic
◽
Philosophy Of Science
◽
Publishing Company
◽
International Congress
◽
Foundations Of Mathematics
◽
North Holland Publishing Company
◽
The Third
◽
North Holland Publishing
Download Full-text
Handbook of mathematical logic, edited by Jon Barwise with the cooperation of H. J. Keisler, K. Kunen, Y. N. Moschovakis, and A. S. Troelstra, Studies in logic and the foundations of mathematics, vol. 90, North-Holland Publishing Company, Amsterdam, New York, and Oxford, 1978 (© 1977), xi + 1165 pp.
Journal of Symbolic Logic
◽
10.2307/2274154
◽
1984
◽
Vol 49
(3)
◽
pp. 975-980
Author(s):
Sy D. Friedman
Keyword(s):
New York
◽
Mathematical Logic
◽
Publishing Company
◽
Foundations Of Mathematics
◽
North Holland Publishing Company
◽
North Holland Publishing
Download Full-text
Hao Wang. A variant to Turing's theory of computing machines. Journal of the Association for Computing Machinery, vol. 4 (1957), pp. 63–92. Reprinted as A variant to Turing's theory of calculating machines, in A survey of mathematical logic, by Hao Wang, Studies in logic and the foundations of mathematics, Science Press, Peking, and North-Holland Publishing Company, Amsterdam, 1963, pp. 127–159. - Hao Wang. Universal Turing machines: an exercise in coding. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 3 (1957), pp. 69–80. Reprinted in A survey of mathematical logic, by Hao Wang, Studies in logic and the foundations of mathematics. Science Press, Peking, and North-Holland Publishing Company, Amsterdam, 1963, pp. 160–174.
Journal of Symbolic Logic
◽
10.1017/s0022481200117712
◽
1963
◽
Vol 28
(4)
◽
pp. 288-289
Author(s):
Steven Orey
Keyword(s):
Mathematical Logic
◽
Publishing Company
◽
Foundations Of Mathematics
◽
Turing Machines
◽
North Holland Publishing Company
◽
Computing Machinery
◽
Theory Of Computing
◽
North Holland Publishing
◽
Computing Machines
Download Full-text
R. B. Jensen. Concrete models of set theory. Sets, models and recursion theory, Proceedings of the Summer School in Mathematical Logic and Tenth Logic Colloquium, Leicester, August-September 1965, edited by John N. Crossley, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam, and Humanities Press, New York, 1967, pp. 44–74.
Journal of Symbolic Logic
◽
10.2307/2270737
◽
1970
◽
Vol 35
(3)
◽
pp. 472-473
Author(s):
Frank R. Drake
Keyword(s):
New York
◽
Mathematical Logic
◽
Set Theory
◽
Summer School
◽
Recursion Theory
◽
Publishing Company
◽
Foundations Of Mathematics
◽
North Holland Publishing Company
◽
North Holland Publishing
◽
Models Of Set Theory
Download Full-text
Hao Wang. The axiomatic method. A survey of mathematical logic, Studies in logic and the foundations of mathematics, Science Press, Peking, and North-Holland Publishing Company, Amsterdam, 1963, pp. 1–33.
Journal of Symbolic Logic
◽
10.2307/2271309
◽
1963
◽
Vol 28
(4)
◽
pp. 288-288
Author(s):
Steven Orey
Keyword(s):
Mathematical Logic
◽
Publishing Company
◽
Axiomatic Method
◽
Foundations Of Mathematics
◽
North Holland Publishing Company
◽
North Holland Publishing
Download Full-text
J. C. E. Dekker. Regressive isols. Sets, models and recursion theory. Proceedings of the Summer School in Mathematical Logic and Tenth Logic Colloquium, Leicester, August-September 1965, edited by John N. Crossley, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam, and Humanities Press, New York, 1967, pp. 272–296.
Journal of Symbolic Logic
◽
10.2307/2270958
◽
1969
◽
Vol 34
(3)
◽
pp. 519-519
Author(s):
C. E. Bredlau
Keyword(s):
New York
◽
Mathematical Logic
◽
Summer School
◽
Recursion Theory
◽
Publishing Company
◽
Foundations Of Mathematics
◽
North Holland Publishing Company
◽
North Holland Publishing
Download Full-text
G. Kreisel. On the concepts of completeness and interpretation of formal systems. Fundamenta mathematicae, vol. 39 (for 1952, pub. 1953), pp. 103–127. - G. Kreisel. Applications of mathematical logic to various branches of mathematics. Applications scientifiques de la logique mathématique, Actes du 2e Colloque International de Logique Mathématique, Paris — 25–30 août 1952, Institut Henri Poincaré, Collection de logique mathématique, ser. A no. 5, lithographed (“dactyl-spécial”), Gauthier-Villars, Paris 1954, and E. Nauwelaerts, Louvain 1954, pp. 37–49. - A. Robinson and G. Kreisel. Discussion. Applications scientifiques de la logique mathématique, Actes du 2e Colloque International de Logique Mathématique, Paris — 25–30 août 1952, Institut Henri Poincaré, Collection de logique mathématique, ser. A no. 5, lithographed (“dactyl-spécial”), Gauthier-Villars, Paris 1954, and E. Nauwelaerts, Louvain 1954, p. 50. - G. Kreisel. Models, translations, and interpretations. Mathematical interpretation of formal systems, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1955, pp. 26–50.
Journal of Symbolic Logic
◽
10.2307/2963817
◽
1959
◽
Vol 24
(3)
◽
pp. 236-238
Author(s):
William Craig
Keyword(s):
Mathematical Logic
◽
Publishing Company
◽
Foundations Of Mathematics
◽
Henri Poincaré
◽
North Holland Publishing Company
◽
Formal Systems
◽
North Holland Publishing
◽
Systems Studies
◽
Mathematical Interpretation
Download Full-text
Hao Wang. Ackermann's consistency proof. A survey of mathematical logic, Studies in logic and the foundations of mathematics, Science Press, Peking, and North-Holland Publishing Company, Amsterdam, 1963, pp. 362–375.
Journal of Symbolic Logic
◽
10.1017/s0022481200116950
◽
1964
◽
Vol 29
(2)
◽
pp. 106-106
Author(s):
Steven Orey
Keyword(s):
Mathematical Logic
◽
Publishing Company
◽
Foundations Of Mathematics
◽
Consistency Proof
◽
North Holland Publishing Company
◽
North Holland Publishing
Download Full-text
Carol Karp. A proof of the relative consistency of the continuum hypothesis. Sets, models and recursion theory, Proceedings of the Summer School in Mathematical Logic and Tenth Logic Colloquium, Leicester, August-September 1965, edited by John N. Crossley, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam, and Humanities Press, New York, 1967, pp. 1–32.
Journal of Symbolic Logic
◽
10.2307/2270566
◽
1970
◽
Vol 35
(2)
◽
pp. 344-345
Author(s):
Leslie H. Tharp
Keyword(s):
New York
◽
Mathematical Logic
◽
Summer School
◽
Continuum Hypothesis
◽
Recursion Theory
◽
Publishing Company
◽
Foundations Of Mathematics
◽
North Holland Publishing Company
◽
North Holland Publishing
◽
The Continuum
Download Full-text
Sign in / Sign up
Close
Export Citation Format
Close
Share Document
Close