Results 301 to 310 of about 2,913,967 (326)

INTRODUCTION TO HIGHER ORDER CATEGORICAL LOGIC (Cambridge Studies in Advanced Mathematics 7)

, 1987
A. Pitts
semanticscholar   +1 more source

Automated Reasoning Contributed to Mathematics and Logic

CADE, 1990
L. Wos, S. Winker, W. McCune, R. Overbeek, E. Lusk, R. Stevens, R. Butler   +6 more
semanticscholar   +1 more source

Mathematical Logic.

The Philosophical Review, 1942
Morton G. White, Willard Van Orman Quine
openaire   +1 more source

Logic and the Foundations of Mathematics

, 1981
Andrea Cantini, E. Casari, Pierluigi Minari   +2 more
semanticscholar   +1 more source

Mathematical Logic

2021
Iqbal H. Jebril, Hemen Dutta, Ilwoo Cho
openaire   +1 more source

Early Writings in the Philosophy of Logic and Mathematics

, 1993
E. Husserl
semanticscholar   +1 more source

Logic and Computation in MATHPERT: An Expert System for Learning Mathematics

Computers and Mathematics, 1989
M. Beeson
semanticscholar   +1 more source

Molecular logic and computing

Nature Nanotechnology, 2007
Amilra Prasanna De Silva
exaly  

Enzyme-based logic systems for information processing

Chemical Society Reviews, 2010
Evgeny Katz, Vladimir Privman
exaly  

Quantitative and logic modelling of molecular and gene networks

Nature Reviews Genetics, 2015
Nicolas Le Novère
exaly