625 treff

matematisk logikk
Husserl and realism in logic and mathematics
Robert S. Tragesser
Bok Språk ikke angitt 1984 · Vis mer
Mathematical foundations of programming
Frank S. Beckman
Bok Engelsk 1980 · Vis mer
Mathematics and computing : with FORTRAN programming
William S. Dorn, Herbert J. Greenberg
Bok Engelsk 1967 · Vis mer
Grundzüge der theoretischen Logik
D. Hilbert und W. Ackermann
Bok Tysk 1967 · Vis mer
Elements of mathematical logic
Novikov, P. S.
Bok Engelsk 1964 · Vis mer
L'existence en mathématiques : conférences faites à la Sorbonne au titre des échanges culturels franco-néerlandais du 29 mars au 7 avril 1954
par E.W. Beth
Bok Fransk 1956 · Vis mer
Carnap, Tarski, and Quine at Harvard : Conversations on Logic, Mathematics, and Science
Frost-Arnold, Greg.
Bok Engelsk 2013 · Vis mer
Isabelle/HOL : a proof assistant for higher-order logic
Tobias Nipkow, Lawrence C. Paulson, Marku...
Bok Engelsk 2002 · Vis mer
Introduction to knowledge base systems
Frost, R.A.
Bok Engelsk 1986 · Vis mer
Beginning logic
E. J. Lemmon
Bok Engelsk 1978 · Vis mer
Vis flere utgaver
Vis flere utgaver
The emergence of probability : a philosophical study of early ideas about probability, induction and statistical inference
Ian Hacking
Bok Engelsk 2006 · Vis mer
Vis flere utgaver · På flere formater: Tale på CD · Daisy lydbok
Sprache, Logik, Mathematik : eine andere Einführung in die Logik
Ulrich Nortmann
Bok Tysk 2003 · Vis mer
Conditional inference and logic for intelligent systems : a theory of measure-free conditioning
I. R. Goodman, H. T. Nguyen, and E. A. Wa...
Bok Engelsk 1991 · Vis mer
Essentials of symbolic logic
R. L. Simpson
Bok Språk ikke angitt 1988 · Vis mer
La crise de la raison et la logique : conférences, faites à l'Université de Liège dans le cadre des échanges culturels belgo-néerlandais au mois de mai 1956
par E.W. Beth
Bok Fransk 1957 · Vis mer
Infinity : a very short introduction
Ian Stewart
Bok Engelsk 2017 · 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
Once upon a number : the hidden mathematical logic of stories
John Allen Paulos
Bok Engelsk 1998 · Vis mer
Mathematik, Logik und Erfahrung
Kraft, Victor
Bok Tysk 1947 · Vis mer
Representing plans under uncertainty : a logic of time, chance, and action
Peter Haddawy
Bok Engelsk 1994 · Vis mer
The mathematical theory of L systems
Grzegorz Rozenberg, Arto Salomaa
Bok Språk ikke angitt 1980 · Vis mer
Student's solutions guide to accompany : discrete mathematics and its applications
Kenneth H. Rosen ; prepared by Jerrold W....
Bok Engelsk 2012 · Vis mer
Issledovanija po matematičeskoj logike i teorii algoritmov
[redaktor toma Š. S. Pchakadze]
Bok Språk ikke angitt 1982 · Vis mer
Logic, Mathematics, Philosophy, Vintage Enthusiasms : Essays in Honour of John L. Bell
Devidi, David.
Bok Engelsk 2011 · Vis mer
How to prove it : a structured approach
Daniel J. Velleman
Bok Engelsk 2006 · Vis mer
Vis flere utgaver
Vis flere utgaver
The Oxford handbook of philosophy of mathematics and logic
edited by Stewart Shapiro
Bok Engelsk 2005 · Vis mer
Artificial intelligence and symbolic computation : International Conference AISC'98, Plattsburgh, New York, USA, September 16-18, 1998 : proceedings
AISC '98
Bok Engelsk 1998 · 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
B-mathematics as a language
by Nils Aall Barricelli
Bok Engelsk 1982 · Vis mer
Abstract computing machines : a lambda calculus perspective
Kluge, Werner
Bok Engelsk 2005 · Vis mer
Vis flere utgaver
Vis flere utgaver