Adrian Rezuş szerző bemutatása:

Adrian Rezuş szerző eddig megjelent könyvei:

Tanúelmélet: Jegyzetek a λ-kalkulusról és a logikáról - Witness Theory: Notes on λ-calculus and...

Ez a könyv a klasszikus logikában a formális...

Kortárs logika és számítástechnika - Contemporary Logic and Computing

A jelen kötet egy körülbelül két évvel ezelőtt a londoni College Publicationsnek tett...