30 treff

matematisk logikk notrbib real012433
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
Logicomix "-en storstilet jakt på sannheten"
Apostolos Doxiadis, Christos H. Papadimit...
Bok Bokmål 2011 · Vis mer
Studiebok til Logiske metoder
Roger Antonsen
Bok Bokmål 2017 · Vis mer
Mathematical logic and the foundations of mathematics : an introductory survey
Kneebone, G. T.
Bok Engelsk 1963 · Vis mer
Logic for mathematicians
Hamilton, A. G.
Bok Engelsk 1978 · Vis mer
Mathematical logic for computer science
Ben-Ari, M.
Bok Engelsk 2012 · Vis mer
The proof is in the pudding : the changing nature of mathematical proof
by Steven G. Krantz
Bok Engelsk 2010 · Vis mer
Computational aspects of an order-sorted logic with term declarations
M. Schmidt-Schauss
Bok Engelsk 1989 · Vis mer
Elements of the theory of computation
Harry R. Lewis, Christos H. Papadimitriou...
Bok Engelsk 1998 · Vis mer
Set theory and logic
by Robert R. Stoll
Bok Engelsk 1963 · Vis mer
How to solve it : a new aspect of mathematical method /
Pólya, George
Bok Engelsk 2014 · Vis mer
Vis flere utgaver
Vis flere utgaver
Student's solutions guide to accompany : discrete mathematics and its applications
Kenneth H. Rosen ; prepared by Jerrold W....
Bok Engelsk 2012 · Vis mer
Conceptual mathematics : a first introduction to categories
F. William Lawvere, Stephen H. Schanuel
Bok Engelsk 1997 · Vis mer
Vis flere utgaver
Vis flere utgaver
Logicomix
Apostolos Doxiadis, Christos H. Papadimit...
Bok Engelsk 2009 · Vis mer
Logic of mathematics : a modern course of classical logic
Zofia Adamowicz, Paweł Zbierski
Bok Engelsk 1997 · Vis mer
How to solve it : a new aspect of mathematical method
Pólya, George
Bok Engelsk 1990 · Vis mer
Vis flere utgaver
Vis flere utgaver
How to prove it : a structured approach
Daniel J. Velleman
Bok Engelsk 1994 · Vis mer
Vis flere utgaver
Vis flere utgaver
Classics in game theory
edited by Harold W. Kuhn
Bok Engelsk 1997 · Vis mer
Notes on small inductively defined classes and the majorisation relation
Mathias Barra
Bok Engelsk 2009 · Vis mer
Formal logic : its scope and limits
Richard Jeffrey
Bok Engelsk 1981 · Vis mer
Vis flere utgaver
Vis flere utgaver
Proofs and refutations : the logic of mathematical discovery
Imre Lakatos ; edited by John Worrall and...
Bok Engelsk 1976 · Vis mer
Vis flere utgaver
Vis flere utgaver
Selected works in logic
by Th. Skolem ; edited by Jens Erik Fenst...
Bok Engelsk 1970 · Vis mer
Introduction to metamathematics
by Stephen Cole Kleene.
Bok Engelsk 1952 · Vis mer
The elements of mathematical logic
Paul C. Rosenbloom
Bok Engelsk 1950 · Vis mer
Topics in the philosophy of language

Bok Engelsk 1989 · Vis mer
Alternatives to classical logic

Bok Engelsk 1986 · Vis mer
Extensions of classical logic

Bok Engelsk 1984 · Vis mer
Elements of classical logic

Bok Engelsk 1983 · Vis mer
Criticism and the growth of knowledge
International Colloquium in the Philosophy of Science
Bok Engelsk 1970 · Vis mer