62 treff

matematisk logikk symbolsk logikk
The search for certainty : a philosophical account of foundations of mathematics
M. Giaquinto
Bok Engelsk 2002 · Vis mer
Fundamentals of mathematical logic
Peter G. Hinman
Bok Engelsk 2005 · Vis mer
A mathematical introduction to logic
Enderton, Herbert B..
Bok Engelsk 2001 · Vis mer
Combinatory logic. 1.
Curry, Haskell B.
Bok Engelsk 1958 · Vis mer
Constructibility and mathematical existence
Charles S. Chihara
Bok Engelsk 1990 · Vis mer
Combinatory logic. 2.
Curry, Haskell B.
Bok Engelsk 1972 · Vis mer
Beginning logic
E. J. Lemmon
Bok Engelsk 1978 · Vis mer
Vis flere utgaver
Vis flere utgaver
Infinity : a very short introduction
Ian Stewart
Bok Engelsk 2017 · Vis mer
Mathematik, Logik und Erfahrung
Kraft, Victor
Bok Tysk 1947 · Vis mer
Representing plans under uncertainty : a logic of time, chance, and action
Peter Haddawy
Bok Engelsk 1994 · Vis mer
Matrix logic and mind : a probe into a unified theory of mind and matter
August Stern
Bok Engelsk 1992 · Vis mer
Beyond infinity : an expedition to the outer-limits of the mathematical universe
Eugenia Cheng
Bok Engelsk 2018 · Vis mer
Boole's logic and probability : a critical exposition from the standpoint of contemporary algebra, logic, and probability theory
Theodore Hailperin
Bok Engelsk 1976 · Vis mer
From Frege to Gödel : a source book in mathematical logic, 1879-1931
[edited by] Jean van Heijenoort
Bok Engelsk 1967 · Vis mer
Infinity and the mind : the science and philosophy of the infinite
by Rudy Rucker
Bok Engelsk 1982 · Vis mer
Vis flere utgaver
Vis flere utgaver
Thirty years of foundational studies : lectures on the development of mathematical logic and the study of the foundations of mathematics in 1930-1964
Andrzej Mostowski
Bok Engelsk 1965 · Vis mer
How to read and do proofs : an introduction to mathematical thought processes
Daniel Solow
Bok Engelsk 2005 · Vis mer
Vis flere utgaver
Vis flere utgaver
Logic and structure
Dalen, D. van
Bok Engelsk 2004 · Vis mer
Vis flere utgaver
Vis flere utgaver
Alfred Tarski : life and logic
Anita Burdman Feferman, Solomon Feferman
Bok Engelsk 2004 · Vis mer
Chapter zero : fundamental notions of abstract mathematics
Schumacher, Carol.
Bok Engelsk 2001 · Vis mer
Vis flere utgaver
Vis flere utgaver
Advances in logic : The North Texas Logic Conference, October 8-10, 2004, University of North Texas, Denton, Texas
The North Texas Logic Conference
Bok Engelsk 2007 · Vis mer
Logic for learning : learning comprehensible theories from structured data
J.W. Lloyd
Bok Engelsk 2003 · Vis mer
Handbook of logic in computer science. Vol. 5. Logic and algebraic methods
volume co-ordinator: Dov M. Gabbay
Bok Engelsk 2000 · Vis mer
A friendly introduction to mathematical logic
Christopher C. Leary
Bok Engelsk 2000 · Vis mer
Gödel's proof
by Ernest Nagel and James R. Newman
Bok Engelsk 1989 · Vis mer
Vis flere utgaver
Vis flere utgaver
Foundations of logic programming
J.W. Lloyd
Bok Engelsk 1987 · Vis mer
Vis flere utgaver
Vis flere utgaver
Formal logic : its scope and limits
Richard Jeffrey
Bok Engelsk 1981 · Vis mer
Vis flere utgaver
Vis flere utgaver
Elements of the theory of computation
Harry R. Lewis, Christos H. Papadimitriou...
Bok Engelsk 1981 · Vis mer
Vis flere utgaver
Vis flere utgaver
Popular lectures on mathematical logic
Wang, Hao
Bok Engelsk 1981 · Vis mer
Vis flere utgaver
Vis flere utgaver
Computability and logic
George Boolos, Richard Jeffrey
Bok Engelsk 1980 · Vis mer
Vis flere utgaver
Vis flere utgaver