408 treff

Dewey-nr: 510.6
Logiske metoder : kunsten å tenke abstrakt og matematisk
Roger Antonsen
Bok Bokmål 2014 · Vis mer
På andre formater: Daisy lydbok
På flere formater: Daisy lydbok
Studiebok til Logiske metoder
Roger Antonsen
Bok Bokmål 2017 · Vis mer
Symbolsk logikk : ved verdiseriemetoden
Næss, Arne
Bok Bokmål 1961 · Les boka på nett · Vis mer
En skisse av Gødels bevis og noen kommentarer til bevisets betydning for en "kunstig intelligens"
Tom Therkildsen
Bok Bokmål 1985 · Vis mer
To problemer innen området kunstig intelligens : innledning ved et hovedfagsseminar
Tom Therkildsen
Bok Bokmål 1985 · Vis mer
En studie i Arrowsk umulighet
Mørkved, Ole Jørgen
Bok Bokmål 1981 · Vis mer
Datamodellspråk : et studium av symbolske formalismer
Tore Amble
Bok Bokmål 1986 · Vis mer
Enhetsmatematikk : en kort orinetering [sic] om bakgrunnen for denne
av Arve Meisingset
Bok Bokmål 1986 · Vis mer
Combinatory logic. 1.
Curry, Haskell B.
Bok Engelsk 1958 · Vis mer
Principia mathematica. Vol. 1.
Whitehead, Alfred North
Bok Engelsk 1925 · Vis mer
Collected works. 1.
Lesnevskij, St.
Bok Engelsk 1992 · Vis mer
Collected works. Vol. 1. Publications 1929-1936
Gödel, Kurt
Bok Språk ikke angitt 1986 · Vis mer
Introduction to mathematical logic. Vol. 1.
Church, Alonzo
Bok Engelsk 1956 · Vis mer
Proof theory and logical complexity. 1.
Girard, Jean-Yves
Bok Engelsk 1987 · Vis mer
Mathematics and plausible reasoning. 1. Induction and analogy in mathematics
Pólya, George
Bok Engelsk 1954 · Vis mer
Handbook of logic in computer science. 1. Background: mathematical structures

Bok Engelsk 1992 · 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
Introduction to mathematical logic
Michał Walicki
Bok Engelsk 2012 · Vis mer
The logical basis for computer programming. 1. Deductive reasoning
Manna, Zohar
Bok Språk ikke angitt 1985 · Vis mer
The First Century of the International Commission on Mathematical Instruction (1908-2008) : Reflecting and Shaping the World of Mathematics Education
edited by Marta Menghini ...[et al]
Bok Engelsk 2008 · Vis mer
Methods in mathematical logic : proceedings of the 6th Latin American Symposium on Mathematical Logic held in Caracas, Venezuela, August 1-6, 1983
Latin American Symposium on Mathematical Logic
Bok Språk ikke angitt 1985 · Vis mer
A concise introduction to mathematical logic
Wolfgang Rautenberg
Bok Engelsk 2006 · Vis mer
Algebras, diagrams, and decisions in language, logic, and computation
edited by Kees Vermeulen, Ann Copestake
Bok Engelsk 2001 · Vis mer
Proofs from the book
Martin Aigner, Günter M. Ziegler
Bok Engelsk 2001 · Vis mer
Vis flere utgaver
Vis flere utgaver
Mathematical logic
by Joseph R. Shoenfield
Bok Engelsk 2001 · Vis mer
Arithmetic, geometry, cryptography and coding theory : 13th Conference [on] Arithmetic, Geometry, Cryptography and Coding Theory, CIRM, Marseille, France, March 14-18, 2011, Geocrypt 2011, Bastia, France June 19-24, 2011
Conference on Arithmetic, Geometry, Cryptography and Coding Theory
Bok Engelsk 2012 · Vis mer
A course in mathematical logic for mathematicians
Manin, Ju. I.
Bok Engelsk 2010 · Vis mer
The limits of mathematics : a course on information theory and the limits of formal reasoning
Gregory J. Chaitin
Bok Engelsk 2003 · Vis mer
Vis flere utgaver
Vis flere utgaver
The search for certainty : a philosophical account of foundations of mathematics
M. Giaquinto
Bok Engelsk 2002 · Vis mer
An accompaniment to higher mathematics
George R. Exner
Bok Engelsk 1996 · Vis mer