Results 121 to 130 of about 716 (151)

W. W. Tait. A nonconstructive proof of Gentzen's Hauptsatz for second order predicate logic. Bulletin of the American Mathematical Society, vol. 72 (1966), pp. 980–983.

Journal of Symbolic Logic, 1968
Moto-o Takahashi
openaire   +2 more sources

L. Henkin. Some remarks on infinitely long formulas. Infinitistic methods, Proceedings of the Symposium on Foundations of Mathematics, Warsaw, 2-9 September 1959, Państwowe Wydawnictwo Naukowe, Warsaw, and Pergamon Press, Oxford-London-New York-Paris, 1961, pp. 167–183. - Carol R. Karp. Independence proofs in predicate logic with infinitely long expressions. The journal of symbolic logic, vol. 27 no. 2 (for 1962, pub. 1963), pp. 171–188.

Journal of Symbolic Logic, 1965
Thomas Frayne
openaire   +2 more sources

Some of the next articles are maybe not open access.

Related searches:

Materials challenges for trapped-ion quantum computers

Nature Reviews Materials, 2021
Kenneth R Brown, John Chiaverini, Jeremy M Sage   +2 more
exaly  

Hao Wang. Some formal details on predicative set theories. A survey of mathematical logic, Studies in logic and the foundations of mathematics, Science Press, Peking, and North-Holland Publishing Company, Amsterdam, 1963, pp. 585–623.

Journal of Symbolic Logic, 1965
openaire   +1 more source

Magnetic skyrmions: advances in physics and potential applications

Nature Reviews Materials, 2017
Albert Fert, Nicolas Reyren, Vincent Cros   +2 more
exaly  

Logic-in-memory based on an atomically thin semiconductor

Nature, 2020
Guilherme Migliato Marega, Ahmet Avsar, Zhenyu Wang   +2 more
exaly  

Organic electrochemical transistors

Nature Reviews Materials, 2018
Jonathan Rivnay, Sahika inal, Alberto Salleo   +2 more
exaly  

Nanoscale magnetic skyrmions in metallic films and multilayers: a new twist for spintronics

Nature Reviews Materials, 2016
Roland Wiesendanger
exaly