Your search returned 12 results.

Results
		Introduction to mathematical logic / Elliott Mendelson. by Mendelson, Elliott Series: Textbooks in mathematics \| A Chapman & Hall book Edition: 6th ed. Material type: Text; Format: print ; Literary form: Not fiction Language: English Publisher: Boca Raton, Fla. [u.a.] : CRC Press, 2015 Online resources: Zentralblatt MATH Inhaltstext Availability: Items available for loan: ეროვნული სამეცნიერო ბიბლიოთეკა 1 (1)Call number: 510.6 M-55. Place hold Log in to add tags Add to cart (remove)
		Between logic and intuition : essays in honor of Charles Parsons / edited by Gila Sher, Richard Tieszen. by Sher, Gila [რედაქტორი] Tieszen, Richard L [რედაქტორი] Material type: Text; Format: print available online festschrift Language: German Publisher: Cambridge : Cambridge University Press, 2000 Other title: Between Logic & Intuition Online resources: Click here to access online Availability: No items available. Log in to add tags Add to cart (remove)
		First-order logic and automated theorem proving / Melvin Fitting. by Fitting, Melvin, 1942- Series: Graduate texts in computer science \| Graduate texts in computer science (Springer-Verlag New York Inc.) Edition: 2nd ed. Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: New York : Springer, c1996 Availability: Items available for loan: ეროვნული სამეცნიერო ბიბლიოთეკა 1 (1)Call number: 004 F-48. Lists: Springer series. Place hold Log in to add tags Add to cart (remove)
		No cover image available The semantic foundations of logic : Vol. 1. Predicate logic / Richard L. Epstein. by Epstein, Richard L, 1947- Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: New York : Oxford University Press, 1994 Online resources: Publisher description Table of contents only Availability: Not available: ეროვნული სამეცნიერო ბიბლიოთეკა 1: Lost (1). Log in to add tags Add to cart (remove)
		What is a logical system? / edited by D.M. Gabbay. by Gabbay, Dov M, 1945- [რედაქტორი] Series: Studies in logic and computation ; 4 \| Oxford science publications Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Oxford : New York : Clarendon Press ; Oxford University Press, 1994 Online resources: Publisher description Table of contents only Availability: Not available: ეროვნული სამეცნიერო ბიბლიოთეკა 1: Lost (1). Log in to add tags Add to cart (remove)
		Mathematical logic / H.-D. Ebbinghaus, J. Flum, W. Thomas. by Ebbinghaus, Heinz-Dieter, 1939- Flum, Jörg Thomas, Wolfgang, 1947- Series: Undergraduate Texts in Mathematics Material type: Text; Format: print ; Literary form: Not fiction Language: English Original language: German Publication details: New York : Springer-Verlag, c1984 Availability: Not available: ეროვნული სამეცნიერო ბიბლიოთეკა 1: Lost (1). Log in to add tags Add to cart (remove)
		A course in mathematical logic / by J. L. Bell and M. Machover. by Bell, J. L. (John Lane) Machover, Moshé Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Amsterdam : New York : North-Holland Pub. Co. ; sole distributors for the U.S.A. and Canada American Elsevier Pub. Co., 1977 Online resources: Publisher description Availability: Items available for loan: ეროვნული სამეცნიერო ბიბლიოთეკა 2 (1)Call number: 517.11. Place hold Log in to add tags Add to cart (remove)
		No cover image available An algebraic introduction to mathematical logic / D. W. Barnes, J. M. Mack. by Barnes, D. W. (Donald W.), 1935- Mack, J. M Series: Graduate texts in mathematics ; v. 22 Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: New York : Springer-Verlag, [1975] Availability: Not available: ეროვნული სამეცნიერო ბიბლიოთეკა 1: Lost (1). Log in to add tags Add to cart (remove)
		No cover image available Tractatus logico-philosophicus / Ludwig Wittgenstein ; translated [from the German] by D. F. Pears & B. F. McGuinness ; with the introduction by Bertrand Russell. by Wittgenstein, Ludwig, 1889-1951 Pears, D. F [მთარგმნელი] McGuinness, B. F [მთარგმნელი] Russel, Bertrand [წინასიტყვაობის ავტორი] Series: Routledge Classics Edition: [Revised ed.]. Material type: Text; Format: print ; Literary form: Not fiction Language: English Original language: German Publication details: London ; New York : Routledge and Kegan Paul, 1974, 1961 Availability: Items available for loan: ეროვნული სამეცნიერო ბიბლიოთეკა 1 (1)Call number: 81 : 164. Place hold Log in to add tags Add to cart (remove)
		No cover image available Introduction to mathematical logic : Vol. 1 / Alonzo Church. by Church, Alonzo, 1903-1995 Series: Princeton mathematical series ; 17 Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Princeton : Princeton University Press, 1956 Availability: Not available: ეროვნული სამეცნიერო ბიბლიოთეკა 1: Lost (2). Log in to add tags Add to cart (remove)
		No cover image available Les fondements de la logique symbolique : Vol. 1 : Critique du nominalisme logistique / par Thomas Greenwood. by Greenwood, Thomas, 1901- Series: Logique et methodologie, exposes pub. sous la direction de Thomas Greenwood ; I-II Material type: Text; Format: print ; Literary form: Not fiction Language: French Publication details: Paris : Hermann & cie, 1938 Availability: Not available: ეროვნული სამეცნიერო ბიბლიოთეკა 1: Lost (1). Log in to add tags Add to cart (remove)
		No cover image available Les fondements de la logique symbolique : Vol. 2 : Justification des calculs logiques / par Thomas Greenwood. by Greenwood, Thomas, 1901- Series: Logique et methodologie, exposes pub. sous la direction de Thomas Greenwood ; I-II Material type: Text; Format: print ; Literary form: Not fiction Language: French Publication details: Paris : Hermann & cie, 1938 Availability: Not available: ეროვნული სამეცნიერო ბიბლიოთეკა 1: Lost (1). Log in to add tags Add to cart (remove)

Not finding what you're looking for?

Make a purchase suggestion

Copyright © 2023 Sciencelib.ge All rights reserved.