Математическая логика, основанная на теории типов

Free Download

Authors: Рассел Б.

Size: 496 kB (508374 bytes)

Pages: 34/34

File format: pdf

Language: Russian

Direct Download: Coming soon..

Download link:

Category: Mathematics , Applied Mathematicsematics

Рассел Б.

Reviews

There are no reviews yet.

Be the first to review “Математическая логика, основанная на теории типов”

You must be logged in to post a review.