625 treff

matematisk logikk
Computational aspects of an order-sorted logic with term declarations
M. Schmidt-Schauss
Bok Engelsk 1989 · Vis mer
The foundations of mathematics : a study in the philosophy of science
Beth, E.W.
Bok Engelsk 1959 · Vis mer
A course in mathematical logic for mathematicians
Manin, Ju. I.
Bok Engelsk 2010 · Vis mer
Forever undecided : a puzzle guide to Gödel
Smullyan, Raymond M.
Bok Engelsk 1988 · Vis mer
Fundamentals of mathematical logic
Peter G. Hinman
Bok Engelsk 2005 · Vis mer
A tour through mathematical logic
Robert S. Wolf
Bok Engelsk 2005 · Vis mer
Discrete mathematics for computer scientists
J.K. Truss
Bok Engelsk 1991 · Vis mer
Vis flere utgaver
Vis flere utgaver
A course in mathematical logic
Manin, Ju. I.
Bok Engelsk 1977 · Vis mer
Reading Frege's Grundgesetze
Heck, Richard G..
Bok Engelsk 2012 · Vis mer
The logic of quantum mechanics
Enrico G. Beltrametti and Gianni Cassinel...
Bok Engelsk 1981 · Vis mer
A course in mathematical logic
Bell, John L.
Bok Engelsk 1977 · Vis mer
Logik med tillämpningar
Torkel Franzén
Bok Svensk 2002 · Vis mer
Nondiscrete induction and iterative processes
F.-A. Potra & V. Ptak
Bok Språk ikke angitt 1984 · Vis mer
Set theory and logic
by Abraham A. Fraenkel
Bok Engelsk 1966 · Vis mer
Logik, Wissenschaftstheorie und Erkenntnistheorie : Akten des 11. Internationalen Wittgenstein Symposiums, 4. bis 13. August 1986, Kirchberg am Wechsel (Österreich) : ausgewählte Beiträge
Internationales Wittgenstein Symposium
Bok Tysk 1987 · Vis mer
Truth and consequence in mediaeval logic
Ernest A. Moody
Bok Engelsk 1953 · Vis mer
Les fondements logiques des mathématiques
par E.W. Beth
Bok Fransk 1950 · Vis mer
Nonstandard logics and nonstandard metrics in physics
William M. Honig
Bok Engelsk 1995 · Vis mer
Discrete structures, logic, and computability
Hein, James L.
Bok Engelsk · Vis mer
Instantiation theory : on the foundations of automated deduction
Williams, James G.
Bok Engelsk 1991 · Vis mer
Constructibility and mathematical existence
Charles S. Chihara
Bok Engelsk 1990 · Vis mer
Computability : computable functions, logic, and the foundations of mathematics
Richard L. Epstein, Walter A. Carnielli
Bok Engelsk 1989 · Vis mer
Vis flere utgaver
Vis flere utgaver
Toposes and local set theories : an introduction
Bell, J.L.
Bok Språk ikke angitt 1988 · Vis mer
A computational logic
Robert S. Boyer and J. Strother Moore
Bok Engelsk 1979 · Vis mer
Mathematical logic : with special reference to the natural numbers
S. W. P. Steen
Bok Engelsk 1972 · Vis mer
Simply logical : intelligent reasoning by example
Flach, Peter A.
Bok Engelsk 1994 · Vis mer
Universal algebra, algebraic logic, and databases
Plotkin, B.I.
Bok Engelsk 1994 · Vis mer
Lambda-calculus, types and models
J.L. Krivine ; translated by René Cori
Bok Engelsk 1993 · Vis mer
The lady or the tiger? : and other logic puzzles : including a mathematical novel that features Gödel's great discovery
Smullyan, Raymond M.
Bok Engelsk 1992 · Vis mer
Truth, deduction, and computation : logic and semantics for computer science
R. E. Davis
Bok Engelsk 1989 · Vis mer