Call Number (LC) Title Results
QA9 .L32 2007eb The mathematics of logic : a guide to completeness theorems and their applications / 2
QA9 .L37256 2018eb A first course in logic / 1
QA9 .L373 Représentabilité et définissabilité dans les algèbres transformationnelles et dans les algèbres polyadiques. 1
QA9 .L377 Mathematical logic and Hilbert's [&]-symbol / 1
QA9 .L377 1969 Mathematical logic and Hilbert's [&]-symbol / 1
QA9 .L38 Les grands courants de la pensée mathématique / 1
QA9 .L475 2010 Mathematical logic : foundations for information science /
Mathematical logic foundations for information science / 		2
QA9 .L475 2014 Mathematical logic : foundations for information science / 1
QA9 .L478 2016 A concise introduction to pure mathematics / 1
QA9 .L6194 2017 Absolute continuity under time shift of trajectories and related stochastic calculus / 2
QA9 .L62 Logic and foundations of mathematics / 1
QA9 .L624 1996 Logical reasoning with diagrams / 1
QA9 .L624 1996eb Logical reasoning with diagrams / 1
QA9 .L634 1990 Logic and computer science / 1
QA9 .L65 Logica : studia Paul Bernays dedicata. 1
QA9 .L66 Metamathematik. 1
QA9 .L68 2010 Louis Couturat, Traité de Logique algorithmique 1
QA9 .M265 1987 Introduction to mathematical logic : set theory, computable functions, model theory / 1
QA9 .M2813 The metamathematics of algebraic systems, collected papers: 1936-1967
The metamathematics of algebraic systems, collected papers: 1936-1967 / 		2
QA9 .M2813 1971 The metamathematics of algebraic systems, collected papers: 1936-1967 1