233 treff

symbolsk logikk
ABC i symbolisk logik : logikens språk och grundbegrepp
Prawitz, Dag
Bok Svensk 1991 · Vis mer
Prinsipper for bedre innkjøp
Ivar Brynhildsvoll
Bok Bokmål 2018 · Vis mer
Vis flere utgaver
Vis flere utgaver
Fra bevis til program
Einar Broch Johnsen
Bok Bokmål 1994 · Vis mer
Formale Logik
Bocheński, J.M.
Bok Tysk 1956 · Vis mer
The search for certainty : a philosophical account of foundations of mathematics
M. Giaquinto
Bok Engelsk 2002 · Vis mer
The search for mathematical roots, 1870-1940 : logics, set theories and the foundations of mathematics from Cantor through Russell to Gödel
I. Grattan-Guinness
Bok Engelsk 2000 · Vis mer
Logical forms : an introduction to philosophical logic
Sainsbury, R. M.
Bok Engelsk 2001 · Vis mer
Vis flere utgaver
Vis flere utgaver
Grundzüge der mathematischen Logik
von P.S. Novikov
Bok Tysk 1973 · Vis mer
Fundamentals of mathematical logic
Peter G. Hinman
Bok Engelsk 2005 · Vis mer
Gödel's incompleteness theorems
Raymond M. Smullyan
Bok Engelsk 1992 · Vis mer
An introduction to symbolic logic
by Susanne K. Langer
Bok Engelsk 1953 · Vis mer
Algebra of proofs
M.E. Szabo
Bok Engelsk 1978 · Vis mer
Symbolic logic
Irving M. Copi
Bok Engelsk 1967 · Vis mer
An essay in modal logic
Wright, G.H. von
Bok Engelsk 1951 · Vis mer
A mathematical introduction to logic
Enderton, Herbert B..
Bok Engelsk 2001 · Vis mer
Elements of logic via numbers and sets
D.L. Johnson
Bok Engelsk 1998 · Vis mer
A history of formal logic
Bocheński, J.M.
Bok Engelsk 1970 · 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
Elements of combinatory logic
[by] Frederic B. Fitch
Bok Engelsk 1974 · Vis mer
Elementary applied symbolic logic
Bangs L. Tapscott
Bok Engelsk 1976 · Vis mer
Heuristische Prinzipien und logische Kalkyle
Serebrjannikov, O.F.
Bok Tysk 1974 · Vis mer
Introduction to symbolic logic
[by] John L. Pollock
Bok Engelsk 1969 · Vis mer
Mathematik, Logik und Erfahrung
Kraft, Victor
Bok Tysk 1947 · Vis mer
ABC i symbolisk logik : logikens språk och grundbegrepp
Dag Prawitz
Bok Svensk 1991 · Vis mer
Artificial intelligence, automated reasoning, and symbolic computation : joint international conferences, AISC 2002 and Calculemus 2002, Marseille, France, July 1-5, 2002 : proceedings
AISC 2002
Bok Engelsk 2002 · Vis mer
Artificial intelligence and symbolic computation : International Conference AISC 2000, Madrid, Spain, July 17-19, 2000 : revised papers
AISC 2000
Bok Engelsk 2001 · Vis mer
Einführung in die symbolische Logik : mit besonderer Berücksichtigung ihrer Anwendungen
von Rudolf Carnap
Bok Språk ikke angitt 1954 · Vis mer
Komplexe Logik : Grundlagen einer logischen Theorie des Wissens
Zinov'ev, Aleksandr
Bok Tysk 1970 · Vis mer