Search | bnielsen library | TinyCat
2024-05-02 12:57 am
Toggle Dropdown
Advanced Search
bnielsen library
Subject search:
Logic, Symbolic and mathematical
7 items
date
Sort
relevancy
acquisition
title
date
author
popularity
series
7 items
7 items found
Sort
relevancy
acquisition
title
date
author
popularity
series
Proofs and refutations : the logic of mathematical discovery
by
Imre Lakatos
Paper Book, 2015
Tags
History of Mathematics
,
Logic
,
Mathematics
Series
Cambridge Philosophy Classics
Status
Available
Call number
511.3/6
Nets, puzzles, and postmen
by
Peter M. Higgins
Hardcover, 2009
Tags
Mathematics
Status
Available
Call number
511.3
Beviser og gendrivelser : logikken i de matematiske opdagelser
by
Imre Lakatos
Paper Book, 1989
Tags
History of Mathematics
,
Logic
,
Mathematics
Series
Cambridge Philosophy Classics
Status
Available
Call number
511.3
Elements of the Theory of Computation
by
Harry R. Lewis
Paperback, 1988
Tags
Computers
,
Programming
,
Textbook
,
University Level
Status
Available
Call number
511.3
Introduction to Mathematical Logic
by
Elliott Mendelson
Paper Book, 1972
Tags
Logic
,
Mathematics
Status
Available
Call number
511.3
Patterns of plausible inference. Volume II of Mathematics and plausible reasoning
by
George Pólya
Hardcover, 1968
Tags
Logic
,
Mathematics
Series
Mathematics and Plausible Reasoning (2)
Status
Available
Call number
511
The Basic Laws of Arithmetic: Exposition of the System
by
Gottlob Frege
Hardcover, 1964
Tags
Logic
,
Mathematics
Status
Available
Call number
164
Page: 0.4736 seconds
This is bnielsen's personal library, powered by
TinyCat
powered by
TinyCat
Personal Edition
