Dmitri Pavlov - Post a comment

[Recent Entries][Archive][Friends][User Info]

( Read Comments )

Time

Text

06:46 pm

dmitri_pavlov

[Link]

Re: Список книг и статей под манифест
ETCS, конечно, а скоро, видимо, будет актуальна гомотопическая теория типов.
Читать надо книгу Lawvere, Rosebrugh, Sets for Mathematics.

Reply:

From:

Anonymous (will be screened)

OpenID

Identity URL:
Login?

пользователь LiveJournal.com

имя пользователя:	помнить
Вы должны предварительно войти в LiveJournal.com

E-mail для ответов:
Вы сможете оставлять комментарии, даже если не введете e-mail. Но вы не сможете получать уведомления об ответах на ваши комментарии! Внимание: на указанный адрес будет выслано подтверждение.

LJ.Rossia.org user

Username:
Password:
Login?

Subject:

No HTML allowed in subject

Message:

Don't auto-format:

Notice! This user has turned on the option that logs your IP address when posting.