Normale bewijzen in de verzamelingenleer - Jan Ekman

Prijs:EUR 18,51,Koop nu.

Eindige domeinbeperkingen compileren en uitvoeren - Björn Carlsson

Prijs:EUR 18,51,Koop nu.

Boombeperkingen - Thorbjörn Keisu

Prijs:EUR 18,51,Koop nu.

Over normalisatie van bewijzen in de verzamelingenleer - Lars Hallnäs

Prijs:EUR 18,51,Koop nu.

Bemonsteringstheorie - Des Raj

Prijs:EUR 18,51,Koop nu.

Bewijsmethoden voor modale en intuïtionistische logica - Melvin Fitting

Prijs:EUR 64,77,Koop nu.

Tafel van vermenigvuldiging

Prijs:EUR 4,63,Koop nu.

Toelaatbare sets en structuren - Jon Barwise

Prijs:EUR 25,91,Koop nu.

Logicacolloquium '80

Prijs:EUR 25,91,Koop nu.

Meta-Wiskunde - Paul Lorenzen

Prijs:EUR 9,72,Koop nu.

Berechenbarkeit - Recursieve en programmeerbare functie

Prijs:EUR 9,72,Koop nu.

Logicaconferentie Kiel 1974

Prijs:EUR 19,43,Koop nu.

Bernard W. Lindgren - Statistische theorie

Prijs:EUR 50,89,Koop nu.