Prezentarea autorului Andrzej Indrzejczak:

Cărțile publicate de Andrzej Indrzejczak până acum:

Sequents and Trees: O introducere în teoria și aplicațiile calculului secvențial propozițional -...
Birkhauser
Acest manual oferă o introducere detaliată în...
Sequents and Trees: O introducere în teoria și aplicațiile calculului secvențial propozițional - Sequents and Trees: An Introduction to the Theory and Applications of Propositional Sequent Calculi
<<
1
>>

© Book1 Group - toate drepturile rezervate.
Conținutul acestui site nu poate fi copiat sau utilizat, nici parțial, nici integral, fără permisiunea scrisă a proprietarului.
Ultima modificare: 2024.11.08 07:02 (GMT)