Search | bnielsen library | TinyCat
2024-05-01 8:17 pm
Toggle Dropdown
Advanced Search
bnielsen library
Subject search:
Logic, Symbolic and mathematical
7 items
title
Sort
relevancy
acquisition
title
date
author
popularity
series
7 items
7 items found
Sort
relevancy
acquisition
title
date
author
popularity
series
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
Nets, puzzles, and postmen
by
Peter M. Higgins
Hardcover, 2009
Tags
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
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
The Basic Laws of Arithmetic: Exposition of the System
by
Gottlob Frege
Hardcover, 1964
Tags
Logic
,
Mathematics
Status
Available
Call number
164
Page: 0.613 seconds
This is bnielsen's personal library, powered by
TinyCat
powered by
TinyCat
Personal Edition