Search | bnielsen library | TinyCat
2024-04-18 4:27 pm
Toggle Dropdown
Advanced Search
bnielsen library
Subject search:
Logic, Symbolic and mathematical
7 items
acquisition
Sort
relevancy
acquisition
title
date
author
popularity
series
7 items
7 items found
Sort
relevancy
acquisition
title
date
author
popularity
series
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
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
The Basic Laws of Arithmetic: Exposition of the System
by
Gottlob Frege
Hardcover, 1964
Tags
Logic
,
Mathematics
Status
Available
Call number
164
Introduction to Mathematical Logic
by
Elliott Mendelson
Paper Book, 1972
Tags
Logic
,
Mathematics
Status
Available
Call number
511.3
Page: 0.5283 seconds
This is bnielsen's personal library, powered by
TinyCat
powered by
TinyCat
Personal Edition