Fejer, Peter A.

検索結果3件中 1-3 を表示

  • Propositional logic

    Peter A. Fejer & Dan A. Simovici

    World Scientific 2025 Logical foundations of computer science

    所蔵館1館

  • Predicate logic

    Peter A. Fejer & Dan A. Simovici

    World Scientific 2025 Logical foundations of computer science

    所蔵館1館

  • Sets, relations, and induction

    Peter A. Fejer, Dan A. Simovici

    Springer-Verlag c1991 Texts and monographs in computer science . Mathematical foundations of computer science ; v. 1

    : New York , : Berlin

    所蔵館38館

この著者を外部サイトでさがす

ページトップへ