Computational Logic and Set Theory Applying Formalized Logic to Analysis
by
 
Schwartz, Jacob T. author.

Title
Computational Logic and Set Theory Applying Formalized Logic to Analysis

Author
Schwartz, Jacob T. author.

ISBN
9780857298089

Physical Description
XVII, 416p. 2 illus. online resource.

Subject Term
Computer science.

Added Author
Cantone, Domenico.
 
Omodeo, Eugenio G.

Added Corporate Author
SpringerLink (Online service)

Electronic Access
http://dx.doi.org/10.1007/978-0-85729-808-9


LibraryMaterial TypeItem BarcodeShelf Number[[missing key: search.ChildField.HOLDING]]Status
Online LibraryE-Book168601-2001ONLINEElektronik Kütüphane