"Richard Bornat" скачать бесплатно. Электронная библиотека. Поиск книг LibCats

Самая большая электронная библиотека рунета. Поиск книг и журналов

#1

Proof and Disproof in Formal Logic: An Introduction for Programmers (Oxford Texts in Logic, 2)

Категория: Образование

3.31 Mb

#2

Proof and Disproof in Formal Logic: An Introduction for Programmers (Oxford Texts in Logic)

Категория: Образование

2.84 Mb

#3

Programming from First Principles

Категория: Cs_Computer science, CsAl_Algorithms

3.86 Mb

#4

Proof and disproof in formal logic. An introduction for programmers

Категория: Mathematics, Algebra, Mathematical logic

2.57 Mb

#5

Proof and Disproof in Formal Logic: An Introduction for Programmers

Richard Bornat

5.14 Mb

#6

Proof and Disproof in Formal Logic: An Introduction for Programmers (Oxford Texts in Logic)

Richard Bornat

5.22 Mb

#7

Programming from First Principles (Prentice-Hall International series in computer science)

Richard Bornat

3.99 Mb

#8

Understanding and Writing Compilers: A Do It Yourself Guide (Macmillan Computer Science Series)

Richard Bornat

2.58 Mb