A. S. Troelstra Books

Basic Proof Theory 2ed
Basic Proof Theory 2ed

By A. S. Troelstra, Troelstra Schwichtenberg

Average: 0.00, 0 Ratings

"This introduction to the basic ideas of structural proof theory contains a through discussion and comparison of various types of formalization of first-order logic. Examples are given of several a...

Read More
Lectures on linear logic
Lectures on linear logic

By A. S. Troelstra

Average: 0.00, 0 Ratings

Read More
Lectures on linear logic
Lectures on linear logic

By A. S. Troelstra

Average: 0.00, 0 Ratings

Read More
Tijgers op de Ararat
Tijgers op de Ararat

By A. S. Troelstra

Average: 0.00, 0 Ratings

Read More

Related Articles from our Blog

What is an EAN and How Does it Relate to an ISBN?

If you’ve ever purchased a product online or in a store, you’ve likely come across a barcode. Behind these barcodes lies a standardized system that makes modern commerce possible. Two key codes often encountered are the EAN (European Article Number) and ISBN (International Standard Book Number). But what are they, how are they connected, and why are they so crucial? Let’s explore.

Read More