PKK Library Search for 'su:{first-order logic}'

PRINCIPLES OF MATHEMATICS REVISITED

By Hintikka,Jaakko. Cambridge Univ. Press, Cambridge 1996 . xii,288 , Includes Bibliographical References 0521496926

Place Hold on PRINCIPLES OF MATHEMATICS REVISITED

First order mathematical logic

By Margaris, Angelo. New York Dover Publications 1990 . x, 211p 9780486662695

Place Hold on First order mathematical logic

Independence-friendly logic

By Mann, Allen L.. Cambridge Cambridge University Press 2011 9780521149341

Place Hold on Independence-friendly logic

First-order logic

By Smullyan, Raymond M.. Berlin Springer-Verlag 1968 . xii, 158p.

Place Hold on First-order logic

First-order methods in optimization

By Beck, Amir. Philadelphia SIAM 2017 . xii, 475p 9781611974980

Place Hold on First-order methods in optimization

Fundamentals of physical design and query compilation

By Toman, David.. San Rafael, Calif. (1537 Fourth Street, San Rafael, CA 94901 USA) : Morgan & Claypool, 2011 . 1 electronic text (xii, 110 p.) : , Part of: Synthesis digital library of engineering and computer science. | Series from website. 9781608452798 (electronic bk.)

Place Hold on Fundamentals of physical design and query compilation

Introduction to logic

By Genesereth, Michael R.,. San Rafael, Calif. (1537 Fourth Street, San Rafael, CA 94901 USA) : Morgan & Claypool, 2012 . 1 electronic text (xiii, 151 p.) : , Part of: Synthesis digital library of engineering and computer science. | Series from website. 9781627050067 (electronic bk.)

Place Hold on Introduction to logic