- Realizatori: MIROIU, Adrian (autor)
- Anul publicației: 1994
- Titlu volum: Logică și formalizare
- Nr. volum: I
- Publicată de: Universitatea din București
- Contributori: Universitatea din București
- Editura: Editura Universității din București
- Localitatea: București
- Tipul publicației: carte
- Vezi publicația: Introducere în logica filosofică
- Domenii: Filosofie, Logică
- Descriptori: filosofie, limbaj formal, logică, logica propozițiilor, metalogică, propoziție categorică, tautologie