Your search returned 75 results.

Image from Google Jackets

Mathematical logic by

Monk J Donald

Series: Graduate texts in Mathematics; 3

Material type:

Text; Format: print regular print ; Literary form: Not fiction

Language: English

Publication details: New York Springer-Verlag 1976

Availability: Items available for loan: Central Science Library (1)Collection, call number: B:(R1) L6.

Image from Google Jackets

Elements of mathematical logic by

Novikov P S

Material type:

Text; Format: print regular print ; Literary form: Not fiction

Language: English

Publication details: 1964

Availability: Items available for loan: Central Science Library (1)Collection, call number: B:R1 K42-;1.

Image from Google Jackets

Introduction to mathematical logic by

Mendelson Elliott

Material type:

Text; Format: print regular print ; Literary form: Not fiction

Language: English

Publication details: 1964

Availability: Items available for loan: Central Science Library (1)Collection, call number: B:R1 K4-;3.

Image from Google Jackets

Elements of mathematical logic by

Novikov P S

Material type:

Text; Format: print regular print ; Literary form: Not fiction

Language: English

Publication details: 1964

Availability: Items available for loan: Central Science Library (1)Collection, call number: B:R1 K42-;1.

Image from Google Jackets

Introduction to mathematical logic by

Mendelson Elliott

Material type:

Text; Format: print regular print ; Literary form: Not fiction

Language: English

Publication details: 1964

Availability: Items available for loan: Central Science Library (1)Collection, call number: B:R1 K4-;3.

Image from Google Jackets

Introduction to mathematical logic by

Mendelson Elliott

Material type:

Text; Format: print regular print ; Literary form: Not fiction

Language: English

Publication details: 1964

Availability: Items available for loan: Central Science Library (1)Collection, call number: B:R1 K4-;3.

Image from Google Jackets

Introduction to mathematical logic by

Mendelson Elliott

Material type:

Text; Format: print regular print ; Literary form: Not fiction

Language: English

Publication details: 1964

Availability: Items available for loan: Central Science Library (1)Collection, call number: B:R1 K4-;3.

Image from Google Jackets

Introduction to mathematical logic by

Church Alonzo

Material type:

Text; Format: print regular print ; Literary form: Not fiction

Language: English

Publication details: 1956

Availability: Items available for loan: Central Science Library (1)Collection, call number: B:R1 J6.1.

Image from Google Jackets

Elements of mathematical logic by

Novikov P S

Material type:

Text; Format: print regular print ; Literary form: Not fiction

Language: English

Publication details: London Oliver & Boyd 1964

Availability: Items available for loan: Central Science Library (1)Collection, call number: B:R1 K42;2.

Image from Google Jackets

Elements of mathematical logic by

Lukasiewicz Jan

Series: International series of monographs on pure and applied mathematics; 31

Material type:

Text; Format: print regular print ; Literary form: Not fiction

Language: English

Publication details: 1963

Availability: Items available for loan: Central Science Library (1)Collection, call number: B:R1 K33.

Image from Google Jackets

The Element of mathematical logic by

Rosenbloom paul C

Material type:

Text; Format: print ; Literary form: Not fiction

Language: English

Publication details: New York Dover Publications 1950

Availability: Items available for reference: Ratan Tata Library : Not for loan (1)Collection, call number: B J0/SC.

Image from Google Jackets

The elements of mathematical logic by

Rosenbloom, Paul C

Material type:

Text; Format: print ; Literary form: Not fiction

Publication details: New York dover publication, Inc 1950

Availability: No items available.

Image from Amazon.com

Image from Google Jackets

Image from Coce

Concise introduction to mathematical logic by

Rautenberg Wolfgang

Series: Universitext

Edition: 2

Material type:

Text; Format: print regular print ; Literary form: Not fiction

Language: English

Publication details: New York Springer Science+Business Media Inc, 2006

Availability: Items available for loan: Central Science Library (1)Collection, call number: B:(R1) P6.

Image from Amazon.com

Image from Google Jackets

Image from Coce

Mathematical logic for computer science by

Ben-Ari Mordechai

Edition: 2

Material type:

Text; Format: print regular print ; Literary form: Not fiction

Language: English

Publication details: London Springer-Verlag 2003

Availability: Items available for loan: Central Science Library (1)Collection, call number: B:(R1)0b9S P3.

Image from Google Jackets

Hand book of Mathematical logic by

Barwise Jon Ed

Series: Studies in logic and the foundation of mathematics; 90

Material type:

Text; Format: print regular print ; Literary form: Not fiction

Language: English

Publication details: Amsterdam North-Holland 1977

Availability: Items available for loan: Central Science Library (1)Collection, call number: B:(R1)g L7.

Image from Google Jackets

Mathematical logic and formal systems by

Alcantara Luiz Paulo de Ed

Series: Lecture notes in pure and applied mathematics; 94

Material type:

Text; Format: print regular print ; Literary form: Not fiction

Language: English

Publication details: New York Marcel Dekker 1985

Availability: Items available for loan: Central Science Library (1)Collection, call number: B:(R1)jN30 M5.

Image from Google Jackets

Proceeding on mathematical logic and applications by

Series: Lecture notes in mathematics; 1388

Material type:

Text; Format: print regular print ; Literary form: Not fiction

Language: English

Publication details: Berlin Springer Verlag 1989

Availability: Items available for loan: Central Science Library (1)Collection, call number: B:(R1)p1,N87 M9.

Image from Google Jackets

Algebraic introduction to mathematical logic by

Series: Graduate texts in mathematics; 22

Material type:

Text; Format: print regular print ; Literary form: Not fiction

Language: English

Publication details: New York Springer Verlag 1975

Availability: Items available for loan: Central Science Library (1)Collection, call number: B:(R1) L51.

Image from Google Jackets

Proceeding on mathematical logic in Latin America by

Series: Studies in logic and the foundation of mathematics; 99

Material type:

Text; Format: print regular print ; Literary form: Not fiction

Language: English

Publication details: Amsterdam North Holland 1980

Availability: Items available for loan: Central Science Library (1)Collection, call number: B:(R1)p79.N78 M0.

Image from Google Jackets

Axiomatic methods: An introduction to mathematical logic by

Lightstone A H

Material type:

Text; Format: print regular print ; Literary form: Not fiction

Language: English

Publication details: 1964

Availability: Items available for loan: Central Science Library (1)Collection, call number: B:R1 K41;1.

Image from Google Jackets

Axiomatic methods: An introduction to mathematical logic by

Lightstone A H

Material type:

Text; Format: print regular print ; Literary form: Not fiction

Language: English

Publication details: 1964

Availability: Items available for loan: Central Science Library (1)Collection, call number: B:R1 K41.

Image from Google Jackets

Understanding symbolic logic by

Klenk Virginia

Material type:

Text; Format: print regular print ; Literary form: Not fiction

Language: English

Publication details: Englewood Cliffs Prentice Hall 1989

Availability: Items available for loan: Central Science Library (1)Collection, call number: B:(R1) M9.

Image from Google Jackets

Axiomatic methods: An introduction to mathematical logic by

Lightstone A H

Series: Undergraduate title in rarper's modern mathematics series

Material type:

Text; Format: print regular print ; Literary form: Not fiction

Language: English

Publication details: New York Harper & Row 1966

Availability: Items available for loan: Central Science Library (1)Collection, call number: B:(R1) K61.

Image from Google Jackets

Logic, semantics metamathematics by

Tarski Alfred

Material type:

Text; Format: print regular print ; Literary form: Not fiction

Language: English

Publication details: 1956

Availability: Items available for loan: Central Science Library (1)Collection, call number: B:R1 J61-;1.

Image from Google Jackets

Logic, semantics metamathematics by

Tarski Alfred

Material type:

Text; Format: print regular print ; Literary form: Not fiction

Language: English

Publication details: 1956

Availability: Items available for loan: Central Science Library (1)Collection, call number: B:R1 J61-;1.

Image from Google Jackets

Mathematical logic with special reference to the natural numbers by

Steen S W P

Material type:

Text; Format: print regular print ; Literary form: Not fiction

Language: English

Publication details: 1972

Availability: Items available for loan: Central Science Library (1)Collection, call number: B:R1 L2;1.

Image from Google Jackets

Mathematical logic with special reference to the natural numbers by

Steen S W P

Material type:

Text; Format: print regular print ; Literary form: Not fiction

Language: English

Publication details: 1972

Availability: Items available for loan: Central Science Library (1)Collection, call number: B:R1 L2.

Image from Google Jackets

Logic in elementary mathematics by

Material type:

Text; Format: print regular print ; Literary form: Not fiction

Language: English

Publication details: 1959

Availability: Items available for loan: Central Science Library (1)Collection, call number: B:R1 J9.

Image from Google Jackets

Introduction to mathematical logic:set theory, omputable functions model theory by

Malitz Jerome

Series: Undrgraduate Texts in Mathematics

Material type:

Text; Format: print regular print ; Literary form: Not fiction

Language: English

Publication details: New York Springer Verlag 1979

Availability: Items available for loan: Central Science Library (1)Collection, call number: B:(R1) L9.

Image from Google Jackets

Studies in logic and probability by

Boole, George

Material type:

Text; Format: print ; Literary form: Not fiction

Language: English

Publication details: London Watts and Co. 1952

Availability: Items available for reference: Ratan Tata Library : Not for loan (1)Collection, call number: "B281 J2/SC".

Image from Amazon.com

Image from Google Jackets

Image from Coce

Logic and integer programming by

Williams H Paul

Series: International series in operations research and management science

Material type:

Text; Format: print regular print ; Literary form: Not fiction

Language: English

Publication details: Dordrecht Springer 2009

Availability: Items available for loan: Central Science Library (1)Collection, call number: B217 P9.

Image from Google Jackets

Mathematical discoures: The heart of mathematical science by

Newsom Carroll V

Material type:

Text; Format: print regular print ; Literary form: Not fiction

Language: English

Publication details: 1964

Availability: Items available for loan: Central Science Library (1)Collection, call number: B:(R1) K4.

Image from Google Jackets

Sets, logic, and axiomatic theories by

Stoll Robert R

Material type:

Text; Format: print ; Literary form: Not fiction

Language: English

Publication details: San Francisco W.H. Freeman & Company 1961

Availability: Items available for reference: Ratan Tata Library : Not for loan (1)Collection, call number: B316 K1/SC.

Image from Google Jackets

Husserl and realism in logic and mathematics by

Tragesser Robert S

Material type:

Text; Format: print ; Literary form: Not fiction

Language: English

Publication details: Cambridge Cambridge University Press 1984

Availability: Items available for reference: Ratan Tata Library : Not for loan (1)Collection, call number: RxM95H:g M4/SC.

Image from Google Jackets

Logic for computer science: Fundations of automatic theorem proving by

Gallier Jean H

Series: Harper and row computer science and technology series

Material type:

Text; Format: print regular print ; Literary form: Not fiction

Language: English

Publication details: New York Harper & Row 1986

Availability: Items available for loan: Central Science Library (1)Collection, call number: B:(R1) M6.

Image from Google Jackets

Introduction to mathematical philosophy by

Russell Bertrand

Material type:

Text; Format: print regular print ; Literary form: Not fiction

Language: English

Publication details: 1930

Availability: Items available for loan: Central Science Library (1)Collection, call number: B:R1 G0.

Image from Google Jackets

Symbolic logic and mechanical theorem proving by

Series: Computer science classics

Material type:

Text; Format: print regular print ; Literary form: Not fiction

Language: English

Publication details: Boston Academic Press 1973

Availability: Items available for loan: Central Science Library (1)Collection, call number: B:(R1) L31;1.

Image from Google Jackets

Selected papers in logic and foundations, didactics,economics by

Menger Karl

Series: Vienna Circle Collection; 10

Material type:

Text; Format: print regular print ; Literary form: Not fiction

Language: English

Publication details: Dordrecht D Reidel 1979

Availability: Items available for loan: Central Science Library (1)Collection, call number: B:(R1) L91.

Image from Google Jackets

Proceeding on kinetic logic a boolean approach to the analysis of complex regulatory system by

Series: Lecture notes in biomathematics, 29

Material type:

Text; Format: print regular print ; Literary form: Not fiction

Language: English

Publication details: Berlin Springer Verlag 1977

Availability: Items available for loan: Central Science Library (1)Collection, call number: G:6:(B25)p1,N77 L9.

Image from Amazon.com

Image from Google Jackets

Image from Coce

Understanding mathematical proof by

Material type:

Text; Format: print regular print ; Literary form: Not fiction

Language: English

Publication details: Boca Raton CRC 2014

Availability: Items available for loan: Central Science Library (1)Collection, call number: B Q4.

Image from Google Jackets

Computability by

Tourlakis G J

Material type:

Text; Format: print regular print ; Literary form: Not fiction

Language: English

Publication details: 1984

Availability: Items available for loan: Central Science Library (1)Collection, call number: B:(R1) M4.

Image from Google Jackets

Semirings, automata languages by

Series: EATSC monographs on theoretical computers science; 5

Material type:

Text; Format: print regular print ; Literary form: Not fiction

Language: English

Publication details: Berlin Springer-Verlag 1986

Availability: Items available for loan: Central Science Library (1)Collection, call number: B:(R1) M6.

Image from Google Jackets

Bridge to abstract mathematics by

Morash Ronald P

Material type:

Text; Format: print regular print ; Literary form: Not fiction

Language: English

Publication details: 1987

Availability: Items available for loan: Central Science Library (1)Collection, call number: B:(R1) M7.

Image from Google Jackets

Parsing theory by

Series: EATCS monographs on theoretical computer science; 15

Material type:

Text; Format: print regular print ; Literary form: Not fiction

Language: English

Publication details: Berlin Springer-Verlag 1988

Availability: Items available for loan: Central Science Library (1)Collection, call number: B:(R1) M8.

Image from Google Jackets

Theory of indistinguishables: a search for explantory principles below the level of physics by

Parker-Rhodes A P

Series: Synthesis library; 150

Material type:

Text; Format: print regular print ; Literary form: Not fiction

Language: English

Publication details: Dordrecht D Reidel Publishing Company 1981

Availability: Items available for loan: Central Science Library (1)Collection, call number: B:(R1) M1.

Image from Google Jackets

Lambda calculus: its syntax and semantics by

Barendregt H P

Series: Studies in logic and the foundations of mathematics

Material type:

Text; Format: print regular print ; Literary form: Not fiction

Language: English

Publication details: Amsterdam North Holland 1984

Availability: Items available for loan: Central Science Library (1)Collection, call number: B:(R1) M1;M4.

Image from Google Jackets

Nonstandard asymptotic analysis by

Van Den Berg Imme

Series: Lecture notes in mathematics; 1249

Material type:

Text; Format: print regular print ; Literary form: Not fiction

Language: English

Publication details: Berlin Springer Verlag 1987

Availability: Items available for loan: Central Science Library (1)Collection, call number: B:(R1) M7.

Image from Google Jackets

Proof theory: an introduction by

Pohlers Wolfram

Series: Lecture notes in mathematics; 1407

Material type:

Text; Format: print regular print ; Literary form: Not fiction

Language: English

Publication details: Berlin Springer Verlag 1989

Availability: Items available for loan: Central Science Library (1)Collection, call number: B:(R1) M9.

Image from Google Jackets

Techniques of admissible recussion theory by

Chong C T

Series: Lecture notes in mathematics; 1106

Material type:

Text; Format: print regular print ; Literary form: Not fiction

Language: English

Publication details: Berlin Springer-Verlag 1984

Availability: Items available for loan: Central Science Library (1)Collection, call number: B:(R1) M4.

Image from Google Jackets

La Logica de la Planificacion de inversiones Lie logi by

Chakravarty S

Material type:

Text; Format: print regular print ; Literary form: Not fiction

Language: English

Publication details: 1965

Availability: Items available for loan: Ratan Tata Library (1)Collection, call number: X:(B) 113 K6.

Not finding what you're looking for?

Make a purchase suggestion

Refine your search

Availability

Authors

Item types

Series

Topics

Holding libraries

Home libraries

Languages

Your search returned 75 results.