233 treff

symbolsk logikk
Understanding Wittgenstein's Tractatus
Pasquale Frascolla
Bok Engelsk 2007 · Vis mer
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
Dependence logic : a new approach to independence friendly logic
Jouko Väänänen
Bok Engelsk 2007 · Vis mer
Artificial intelligence and symbolic computation : 7th international conference, AISC 2004, Linz, Austria, September 22-24, 2004 : proceedings
AISC 2004
Bok Engelsk 2004 · Vis mer
Vis flere utgaver
Vis flere utgaver
Logic for learning : learning comprehensible theories from structured data
J.W. Lloyd
Bok Engelsk 2003 · Vis mer
Boolean functions and computation models
Peter Clote, Evangelos Kranakis
Bok Engelsk 2002 · 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
Mathematical logic
Quine, W.V.
Bok Engelsk 1981 · Vis mer
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
Handbook of mathematical logic
edited by Jon Barwise ; with the cooperat...
Bok Engelsk 1977 · Vis mer
Logic in linguistics
Jens Allwood, Lars-Gunnar Andersson, Öste...
Bok Engelsk 1977 · Vis mer
Proceedings of the Second Scandinavian Logic Symposium
Scandinavian Logic Symposium
Bok Engelsk 1971 · Vis mer
Selected works
Łukasiewicz, Jan
Bok Engelsk 1970 · 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
Elements of mathematical logic : (model theory)
Kreisel, Georg
Bok Engelsk 1967 · Vis mer
Word and object
Quine, W.V.
Bok Engelsk 1960 · Vis mer
Introduction to symbolic logic and its applications
by Rudolf Carnap ; translated by William ...
Bok Engelsk 1958 · Vis mer
Introduction to logic
by Patrick Suppes
Bok Engelsk 1957 · Vis mer
An investigation of the laws of thought : on which are founded the mathematical theories of logic and probabilities
George Boole
Bok Engelsk 1951 · Vis mer
Vis flere utgaver
Vis flere utgaver
From a heuristic point of view : essays in honour of Carlo Cellucci
edited by Emiliano Ippoliti and Cesare Co...
Bok Engelsk 2014 · Vis mer
Artificial intelligence and symbolic computation : 8th international conference, AISC 2006, Beijing, China, September 20-22, 2006 : proceedings
AISC 2006
Bok Engelsk 2006 · Vis mer
Commonsense reasoning
Erik T. Mueller
Bok Engelsk 2006 · Vis mer
Fixing Frege
John P. Burgess
Bok Engelsk 2005 · Vis mer
Signs of sense : reading Wittgenstein's Tractatus
Eli Friedlander
Bok Engelsk 2001 · Vis mer