APA (7th ed.) Citation

Pásztorné Varga, K. Logical Background of Theorem Proving Methods.

Chicago Style (17th ed.) Citation

Pásztorné Varga, Katalin. Logical Background of Theorem Proving Methods.

MLA (9th ed.) Citation

Pásztorné Varga, Katalin. Logical Background of Theorem Proving Methods.

Warning: These citations may not always be 100% accurate.