Your search returned 22 results.

Sort
Results
Dictionary of logical terms and symbols

by Greenstein, C.H.

Material type: Text Text Publication details: 1978Availability: Items available for reference: Not for loan (1) Call number: 511.303 G78D.

Logic for computer science foundations of automatic theorem proving

by Gallier, J.H.

Material type: Text Text Publication details: 1986Availability: Items available for loan: 1 Call number: 511.3 G13L.

Chemistry of the amino acids V.1.

by Greenstein, J.P. Winitz, Milton.

Material type: Text Text Publication details: 1961Availability: Items available for loan: 1 Call number: 547.75 G78C.

Temporal logic of programs. Berlin,springer-verlag

by Kroger, Fred.

Material type: Text Text Publication details: 1987Availability: Items available for loan: 1 Call number: 621.381952 K97T.

Course of mathematical logic translated from the French by David Louvish V.1.Relation and logical formula

by Fraisse, Roland.

Material type: Text Text Publication details: 1973Availability: Items available for loan: 1 Call number: 511.3 F77C.

Course of mathematical logic translated from the French by David Louvish V.2.Model theory

by Fraisse, Roland.

Material type: Text Text Publication details: 1973Availability: Items available for loan: 1 Call number: 511.3 F77C.

Profile of mathematical logic

by Delong, Howard.

Material type: Text Text Publication details: 1970Availability: Items available for loan: 1 Call number: 511.3 D33P.

PRINCIPLES OF MATHEMATICAL LOGIC.

by HILBERT,D.

Material type: Text Text Publication details: N.Y CHELSEA 1938Availability: Items available for loan: 1 Call number: 511.3 H63P.

Introduction to mathematical logic

by Mendelson, Elliott.

Material type: Text Text Publication details: London Chapman & Hall 1997Availability: Items available for loan: 2 Call number: 511.3 M54I, ...

Digital logic and computer design

by Mano, M. Morris.

Material type: Text Text Publication details: New Delhi Prentice-Hall of India Pvt. Ltd. 1979Availability: Items available for loan: 9 Call number: 621.381952 M30D, ...

Limits of mathematics course on information theory and the limits of formal reasoning

by Chaitin, Gregory J.

Material type: Text Text Publication details: Singapur Springer-Verlag 1998Availability: Items available for loan: 1 Call number: 511.3 C27L.

Logic in computer science Modelling and reasoning about systems

by Huth, Michael.

Material type: Text Text Publication details: New Delhi Cambridge University 2010Availability: Items available for loan: 1 Call number: 511.30285 H96L.

Mathematical adventures for students and amateurs

by Hayes, David F. Ed.

Material type: Text Text Publication details: Washington Mathematical Association of America 2004Availability: Items available for loan: 1 Call number: 511.3 H44M.

Automated reasoning 33 basic research problems

by Wos, Larry.

Material type: Text Text Publication details: 1988Availability: Items available for loan: 1 Call number: 511.3 W84A.

Digital logic and computer design

by Mano, M. Morris, Au.

Material type: Text Text Publication details: New Delhi Prentice-Hall of India 2002Availability: Items available for loan: 11 Call number: 621.381952 M30D, ... Not available: Checked out (2).

Algebraic logic

by Halmos, Paul R.

Material type: Text Text Publication details: New York Chelsea Publishing 1962Availability: Items available for loan: 1 Call number: 164 H18A.

The axiomatic method

by Lightstone, A. H.

Material type: Text Text Publication details: Englewood Cliffs Prentice-Hall 1964Availability: Items available for loan: 1 Call number: 164, L59A.

A survey of mathematical logic

by Hao, Wang.

Edition: 2nd ed.Material type: Text Text Publication details: Amsterdam North-Holland Publishing 1964Availability: Items available for loan: 1 Call number: 164,H26S.

Elements of mathematical logic

by Lukasiewicz, Jan.

Material type: Text Text Publication details: Oxford Pergamon Press 1963Availability: Items available for loan: 1 Call number: 164 L88E.

Mathematical introduction to logic

by Enderton, Herbert B.

Material type: Text Text Publication details: New York Academic 1972Availability: Items available for loan: 1 Call number: 511.3 E72M.

Pages

Powered by Koha