Filter
Søkt på: Søkeresultat
Filter
totalt 3 treff
Structural Proof Theory
innbundet,
2001,
Engelsk,
ISBN 9780521793070
Structural proof theory is a branch of logic that studies the general structure and properties of logical and mathematical proofs. This book is both a concise introduction to the …
Type-theoretical Grammar
innbundet,
1995,
Engelsk,
ISBN 9780198538578
Constructive type theory was first presented in 1970, by the Swedish logician Per Martin-Lof. It has become one of the main approaches in the foundations of mathematics and …
Grammatical Framework
innbundet,
2011,
Engelsk,
ISBN 9781575866277
Grammatical Framework is a programming language designed for writing grammars that has the capability of addressing several languages in parallel. This thorough introduction …