Skip to main content
Anna Centenary Library
Lists
Public lists
கணினி1
View all
Your cookies
Search history
Clear
Search the Library Catalogue
Library catalog
Title
Author
Subject
ISBN
ISSN
Series
Call number
Accession No.
Go
Advanced search
Search
Library catalog
Title
Author
Subject
ISBN
ISSN
Series
Call number
Go
Advanced search
Authority search
Tag cloud
Library
Log in to your account
×
Login:
Password:
Home
Details for:
Journey into mathematics: an introduction to Proofs
Image from Google Jackets
Normal view
MARC view
ISBD view
Journey into mathematics: an introduction to Proofs
Joseph J. Rotman
By:
Rotman, Joseph J
Publication details:
Mineola, N.Y
Dover Publications
2007
Description:
xiii, 237 p. : ill. ; 22 cm
ISBN:
9780486453064
Subject(s):
Proof theory
DDC classification:
511.3 ROT
Item type:
Books
Tags from this library:
No tags from this library for this title.
Star ratings
1
2
3
4
5
Cancel rating.
Average rating: 0.0 (0 votes)
Holdings
( 1 )
Title notes ( 1 )
Comments ( 0 )
Holdings
Current library
Call number
Status
Date due
Barcode
Anna Centenary Library
511.3 ROT (
Browse shelf
(Opens below)
)
Available
443659
Browsing Anna Centenary Library shelves
Close shelf browser
(Hides shelf browser)
Previous
No cover image available
Next
511.3 ROS
Fuzzy logic and probability applications : bridging the gap
511.3 ROS
Logic for mathematicians
511.3 ROS
Logic for mathematicians
511.3 ROT
Journey into mathematics: an introduction to Proofs
511.3 RUA
Fuzzy logic foundations and industrial applications
511.3 RUC
Infinity and the mind : the science and philosophy of the infinite
511.3 RUZ
Handbook of formal languages : with 87 figures
Includes index
There are no comments on this title.
Log in to your account
to post a comment.
Print
Save record
BIBTEX
Dublin Core
MARCXML
MARC (non-Unicode/MARC-8)
MARC (Unicode/UTF-8)
MARC (Unicode/UTF-8, Standard)
MODS (XML)
RIS
ISBD
More searches
Search for this title in:
Other Libraries (WorldCat)
Other Databases (Google Scholar)
Online Stores (Bookfinder.com)
Open Library (openlibrary.org)
Exporting to Dublin Core...
×
Simple DC-RDF
OAI-DC
SRW-DC
×
Find us on the map
Powered by
Koha