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...

Kings College Pubn

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

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

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

Kings College Pubn

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

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

© Book1 Group - minden jog fenntartva.
Az oldal tartalma sem részben, sem egészben nem másolható és nem használható fel a tulajdonos írásos engedélye nélkül.
Utolsó módosítás időpontja: 2024.11.13 21:05 (GMT)