파운드북스

로그인 주문 조회 장바구니기업 기관 구매

‘First-order logic’ 검색 결과

20건

First-order logic

Raymond M. Smullyan, 1968 / 판 10개

First-order logic

Heil, John., 1994

Metalogic

Geoffrey Hunter, 1971 / 판 5개

First-order logic

Leigh S. Cauman, 1998

First-Order Logic

Raymond R Smullyan, 1968

First-Order Logic and Automated Theorem Proving

Melvin Fitting, 1996 / 판 2개

The language of first-order logic

Barwise, Jon., 1990 / 판 4개

Preliminary studies for a first order logic of knowledge and action

Leora Morgenstern, 1986 / 판 5개

Intensional First-Order Logic

Zoran Majkic, 2022 / 판 3개

Classical First-Order Logic

Stewart Shapiro, Teresa Kouri Kissel, 2022 / 판 2개

First-order logic revisited

Vincent F. Hendricks, 2004 / 판 2개

Semigroups underlying first-order logic

William Craig, 2006 / 판 2개

First-Order Logic

John Heil, 2021

First Order Logic

Heil0867209577, Heil, 1997

First-order logic

Per Lindström, 2011

Duality and definability in first order logic

Michael Makkai, Mihály Makkai, 1993 / 판 2개

First-order logic and automated theorem proving

Melvin Fitting, 1990 / 판 2개

First order mathematical logic

Angelo Margaris, 1967 / 판 4개

Fragments of First-Order Logic

Ian Pratt-Hartmann, 2022

Classical theory of first order logic

A. Pampapathy Rao, 1970

찾는 책이 없나요?

제목이나 표지 사진만 주셔도 찾아 드립니다. 여러 권이면 기업 기관 구매에서 목록째 넣으실 수 있습니다.

찾아 달라고 하기 목록 넣기