Cantitate/Preț
Produs

Toposes, Algebraic Geometry and Logic: Dalhousie University, Halifax, January 16-19, 1971: Lecture Notes in Mathematics, cartea 274

Editat de F. W. Lawvere
en Limba Engleză Paperback – 9 aug 1972

Din seria Lecture Notes in Mathematics

Preț: 26672 lei

Puncte Express: 400

Preț estimativ în valută:
4715 5592$ 4090£

Carte tipărită la comandă

Livrare economică 11-25 martie


Specificații

ISBN-13: 9783540059202
ISBN-10: 3540059202
Pagini: 204
Ilustrații: VIII, 193 p.
Dimensiuni: 155 x 235 x 11 mm
Greutate: 0.29 kg
Ediția:1972
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seria Lecture Notes in Mathematics

Locul publicării:Berlin, Heidelberg, Germany

Public țintă

Research

Cuprins

Sheaf theory and the continuum hypothesis.- Classifying topos.- Deductive systems and categories III. Cartesian closed categories, intuitionist propositional calculus, and combinatory logic.- The formalization of Bishop's constructive mathematics.- Continuous lattices.- Some applications of the formalism of duality in algebraic geometry.- Cotangent complex and deformations of torsors and group schemes.