파운드북스

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

‘Propositional calculus’ 검색 결과

20건

Propositional calculus

P. H. Nidditch, 1962 / 판 3개

Propositional calculus

P H Nidditch, 1962

Propositional calculus

P.H Nidditch, 1962

Feasible computational methods in the propositional calculus

Martin Davis, Hilary Putnam, 1958

Mathematical logic

René Cori, Rene Cori, Daniel Lascar, 2000 / 판 3개

A digitalization, systematization and formulation of the theory and methods of the propositional calculus

Robert Steven Ledley, 1954

The foundations of the propositional calculus

Theodore Paine Palmer, 1935

Propositional calculus (Monographs in modern logic)

P H Nidditch, 1962

Propositional Calculus (Monographs in Modern Logic)

P. H. Nidditch, 1962

Some Boolean representations of the propositional calculus

Leonard A. Snider, 1964

On the lengths of proofs in the propositional calculus

Robert A. Reckhow, 1975

Transformation of propositional calculus statements into integer and mixed integer programs

E. Hadjiconstantinou, 1991

Mathematical Logic - A Course with Exercises Pt. 1

Rene Cori, D. Lascar, Donald H. Pelletier, 2001

Propositional and Predicate Calculus

Derek Goldrei, 2005 / 판 2개

Logical approaches to the complexity of search problems

Tsuyoshi Morioka, 2005

R-Calculus, IV

Wei Li, Yuefei Sui, 2023 / 판 2개

Gödel, Escher, Bach

Douglas R. Hofstadter, 1979 / 판 30개

Gentzen Calculi for Modal Propositional Logic

Francesca Poggiolesi, 2011 / 판 2개

Lectures on propositional calculi

Ryszard Wójcicki, 1984

Introduction to Propositional Satisfiability

Victor Marek, 2014

찾는 책이 없나요?

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

찾아 달라고 하기 목록 넣기