Author books / Книги автора Geuvers Jan Herman,Nederpelt R. P » Online Library TheLib.net

Online Library TheLib.net » Author books / Книги автора Geuvers Jan Herman,Nederpelt R. P

book Type theory and formal proof: an Introduction

Type theory and formal proof: an Introduction

pdf

Author: Geuvers Jan Herman, Nederpelt R. P
Language: English
Year: 2014

00

30.01.2024

0

0