Cargando…

Mathematics: a minimal introduction

Pre-Mathematical Logic Languages Metalanguage Syntax Semantics Tautologies Witnesses Theories Proofs Argot Strategies Examples Mathematics ZFC Sets Maps Relations Operations Integers Induction Rationals Combinatorics Sequences Reals Topology Imaginaries Residues p-adics Groups Orders Vectors Matrice...

Descripción completa

Detalles Bibliográficos
Autor principal: Buium, Alexandru
Lenguaje:eng
Publicado: CRC Press 2013
Materias:
Acceso en línea:http://cds.cern.ch/record/2018913