" R.C. de Vrijer" скачать бесплатно. Электронная библиотека. Поиск книг LibCats

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

#1

Processes, Terms and Cycles: Steps on the Road to Infinity: Essays Dedicated to Jan Willem Klop on the Occasion of his 60th Birthday (Lecture Notes in ... Computer Science and General Issues)

Aart Middeldorp, Vincent van Oostrom, Femke van Raamsdonk, Roel de Vrijer

Категория: Компьютеры

7.63 Mb

#2

Selected Papers on Automath (Studies in Logic and the Foundations of Mathematics)

R.P. Nederpelt, J.H. Geuvers, R.C. de Vrijer

8.11 Mb

#3

Selected Papers on Automath (Studies in Logic and the Foundations of Mathematics)

R.P. Nederpelt, J.H. Geuvers, R.C. de Vrijer (editors)

49.76 Mb

#4

Selected papers on automath

Nederpelt R.P., Geuvers J.H., de Vrijer R.C. (eds.)

Категория: M_Mathematics, MA_Algebra, MAml_Mathematical logic

5.76 Mb

#5

Processes, Terms and Cycles.. Steps on the Road to Infinity

Aart Middeldorp, Vincent van Oostrom, Femke van Raamsdonk, Roel de Vrijer

Категория: CsLn_

5.62 Mb

#6

Selected papers on automath

R.P. Nederpelt, J.H. Geuvers, R.C. de Vrijer

Категория: M_Mathematics, MA_Algebra, MAml_Mathematical logic

5.76 Mb

#7

Selected Papers on Automath

R.P. Nederpelt, J.H. Geuvers, R.C. de Vrijer

49.74 Mb