Results 241 to 250 of about 3,419 (260)

Studies in Logic and the Foundations of Mathematics

2007
openaire   +1 more source

Logic and the foundations of mathematics in early logical empiricism

2021
openaire   +1 more source

Archive for mathematical logic

Archive for Mathematical Logic, 1987
exaly  

Studies in Logic and the Foundations of Mathematics

2001
openaire   +1 more source

Review: Temporal Logic: Mathematical Foundations and Computational Aspects * D. M. Gabbay, Antony Galton: Temporal Logic: Mathematical Foundations and Computational Aspects

Logic Journal of the IGPL, 1997
exaly  

MODERN LOGIC AND THE FOUNDATIONS OF MATHEMATICS

2019
openaire   +1 more source

Temporal Logic: Mathematical Foundations and Computational Aspects, Volume 1

Computer Journal, 1995
exaly  

Studies in Logic and the Foundations of Mathematics

1990
openaire   +1 more source

Martin Davis on Computability, Computational Logic, and Mathematical Foundations

Outstanding Contributions To Logic, 2016
exaly  

Studies in Logic and The Foundations of Mathematics

2003
openaire   +1 more source