|
|
|
|
| LEADER |
00000nam a22000008i 4500 |
| 001 |
in00005574642 |
| 003 |
OCoLC |
| 005 |
20220616144958.0 |
| 006 |
m|||||o||d|||||||| |
| 007 |
cr ||||||||||| |
| 008 |
090511s2006||||enk o ||1 0|eng|d |
| 020 |
|
|
|a 9780511550812 (ebook)
|
| 020 |
|
|
|z 9780521687386 (paperback)
|
| 035 |
|
|
|a CR9780511550812
|
| 040 |
|
|
|a UkCbUP
|b eng
|e rda
|c UkCbUP
|d UtOrBLW
|
| 049 |
|
|
|a QEMP
|
| 050 |
0 |
0 |
|a QA641
|b .K73 2006
|
| 082 |
0 |
4 |
|a 516.36
|2 22
|
| 100 |
1 |
|
|a Kock, Anders,
|e author.
|0 http://id.loc.gov/authorities/names/n89669082
|
| 245 |
1 |
0 |
|a Synthetic differential geometry /
|c Anders Kock.
|
| 250 |
|
|
|a Second edition.
|
| 264 |
|
1 |
|a Cambridge :
|b Cambridge University Press,
|c 2006.
|
| 300 |
|
|
|a 1 online resource (233 pages) :
|b digital, PDF file(s).
|
| 336 |
|
|
|a text
|b txt
|2 rdacontent
|
| 337 |
|
|
|a computer
|b c
|2 rdamedia
|
| 338 |
|
|
|a online resource
|b cr
|2 rdacarrier
|
| 490 |
1 |
|
|a London Mathematical Society lecture note series ;
|v 333
|
| 500 |
|
|
|a Title from publisher's bibliographic system (viewed on 05 Oct 2015).
|
| 505 |
0 |
0 |
|g I.
|t synthetic theory --
|g II.
|t Categorical logic --
|g III.
|t Models.
|
| 520 |
|
|
|a Synthetic Differential Geometry is a method of reasoning in differential geometry and differential calculus, based on the assumption of sufficiently many nilpotent elements on the number line, in particular numbers d such that d2=0. The use of nilpotent elements allows one to replace the limit processes of calculus by purely algebraic calculations and notions. For the first half of the book, first published in 2006, familiarity with differential calculus and abstract algebra is presupposed during the development of results in calculus and differential geometry on a purely axiomatic/synthetic basis. In the second half basic notions of category theory are presumed in the construction of suitable Cartesian closed categories and the interpretation of logical formulae within them. This is a second edition of Kock's classical text from 1981. Many notes have been included, with comments on developments in the field from the intermediate years, and almost 100 new bibliographic entries have been added.
|
| 650 |
|
0 |
|a Geometry, Differential.
|0 http://id.loc.gov/authorities/subjects/sh85054146
|
| 776 |
0 |
8 |
|i Print version:
|a Kock, Anders
|t Synthetic differential geometry
|z 9780521687386.
|
| 830 |
|
0 |
|a London Mathematical Society lecture note series ;
|v 333.
|0 http://id.loc.gov/authorities/names/n42015587
|
| 856 |
4 |
0 |
|u http://ezproxy.msu.edu/login?url=http://dx.doi.org/10.1017/CBO9780511550812
|z Connect to online resource - MSU authorized users
|t 0
|
| 907 |
|
|
|y .b119429834
|b 211128
|c 160728
|
| 998 |
|
|
|a wb
|b 160728
|c m
|d a
|e -
|f eng
|g enk
|h 0
|i 3
|
| 999 |
f |
f |
|i 237327b9-9a04-598c-9301-6cc40cf8b2d0
|s e8245109-b334-5ece-a1fc-167a837d1e82
|t 0
|
| 952 |
f |
f |
|p Non-Circulating
|a Michigan State University-Library of Michigan
|b Michigan State University
|c MSU Online Resource
|d MSU Online Resource
|t 0
|e QA641 .K73 2006
|h Library of Congress classification
|i Electronic Resource
|j Online
|n 1
|
| 856 |
4 |
0 |
|t 0
|u http://ezproxy.msu.edu/login?url=http://dx.doi.org/10.1017/CBO9780511550812
|y Connect to online resource - MSU authorized users
|
