Schneider, K., & Brandt, J. (2020). Theorem Proving in Higher Order Logics. Springer Berlin Heidelberg.
शिकागो स्टाइल उद्धरणSchneider, Klaus, और Jens Brandt. Theorem Proving in Higher Order Logics. Springer Berlin Heidelberg, 2020.
एमएलए उद्धरणSchneider, Klaus, और Jens Brandt. Theorem Proving in Higher Order Logics. Springer Berlin Heidelberg, 2020.
चेतावनी: ये उद्धरण हमेशा 100% सटीक नहीं हो सकते हैं.