Log in
Koha online
Library
Title
Author
Subject
ISBN
Series
Call number
Go
Advanced search
Course reserves
Authority search
Tag cloud
×
Log in to your account
Login:
Password:
Forgot your password?
Home
›
Details for: Theorems, corollaries, lemmas, and methods of proof
Normal view
MARC view
ISBD view
Theorems, corollaries, lemmas, and methods of proof
By:
Rossi, Richard J
.
Material type:
Book
Series:
Pure and applied mathematics : a Wiley-Interscience series of texts, monographs, and tracts
.
Publisher:
Hoboken:
Wiley,
2006
Description:
xiii, 318 p.; ill., index: 24 cm
.
ISBN:
9780470042953 .
Subject(s):
Logic, Symbolic and mathematical -- Textbooks
|
Mathematical analysis -- Foundations -- Textbooks
|
Proof theory -- Textbooks
DDC classification:
511.36
Tags from this library:
No tags from this library for this title.
Log in to add tags.
Holdings ( 1 )
Comments ( 0 )
Item type
Current location
Call number
Status
Date due
Barcode
Books
511.36 ROS (
Browse shelf
)
Available
019157
Browsing DAIICT Shelves
Close shelf browser
Previous
Next
511.36 GUN
Handbook of mathematical induction : theory and applications
511.36 LOL
Meaning of proofs : mathematics as storytelling
511.36 POE
Adapting proofs-as-programs : the Curry-Howard protocol
511.36 ROS
Theorems, corollaries, lemmas, and methods of proof
511.36 STI
Story of proof : logic and the history of mathematics
511.36 WOH
Introduction to proof in abstract mathematics
511.36028563 SCH
Granularity analysis for tutoring mathematical proofs
There are no comments for this item.
Log in to your account
to post a comment.
Print
Save record
BIBTEX
Dublin Core
MARC (non-Unicode/MARC-8)
MARCXML
RIS
MARC (Unicode/UTF-8)
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
Powered by
Koha
There are no comments for this item.