Results of search for 'ccl=(su:{Logic, Symbolic and mathematical.})' › ეროვნული სამეცნიერო ბიბლიოთეკა : National Science Library catalog

Results
		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)
		Coding the universe / A. Beller, R. Jensen, P. Welch. by Beller, A [author.] Jensen, Ronald Björn [author.] Welch, P [author.] Series: London Mathematical Society lecture note series ; 47. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cambridge : Cambridge University Press, 1982 Online resources: Click here to access online Availability: No items available. Log in to add tags Add to cart (remove)
		Sprache und Spracherlernung : unter mathematisch-biologischer Perspektive / Volker Beeh. by Beeh, Volker Series: Foundations of communication Material type: Text; Format: print ; Literary form: Not fiction Language: German Publication details: Berlin ; New York : de Gruyter, 1981 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)
		Logik macht Spass : 85 Aufgaben mit Lösungen / von György Bizám und János Herczeg. by Bizám, György Herczeg, János Material type: Text; Format: print ; Literary form: Not fiction Language: German Original language: Hungarian Publication details: Budapest : Akadémiai Kiadó, 1976 Availability: Not available: ეროვნული სამეცნიერო ბიბლიოთეკა 1: Lost (1). Log in to add tags Add to cart (remove)
		Proofs and refutations : the logic of mathematical discovery / by Imre Lakatos ; edited by John Worrall and Elie Zahar. by Lakatos, Imre, 1922-1974 [author.] Worrall, John [editor.] Zahar, Elie [editor.] Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cambridge : Cambridge University Press, 1976 Other title: Proofs & Refutations Online resources: Click here to access online Availability: No items available. 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 Schriften zur Logik : aus d. Nachlass / Gotlob Frege ; mit einer Einleitung von Lothar Kreiser. by Frege, Gottlob, 1848-1925. [from old catalog] Kreiser, Lothar. [from old catalog] [წინასიტყვაობის ავტორი] Series: Philosophische Studientexte Material type: Text; Format: print ; Literary form: Language: German Publication details: Berlin : Akademie-Verlag, 1973 Availability: Not available: ეროვნული სამეცნიერო ბიბლიოთეკა 1: Lost (1). Log in to add tags Add to cart (remove)
		Mathematical logic with special reference to the natural numbers / S.W.P. Steen. by Steen, S. W. P. (Stourton William Peile) [author.] Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cambridge : Cambridge University Press, 1972 Online resources: Click here to access online Availability: No items available. Log in to add tags Add to cart (remove)
		No cover image available Logik-Texte : Kommentierte ausw. zur Geschichte d. modernen Logik / Von Karel Berka [u.] Lothar Kreiser. by Berka, Karel Kreiser, Lothar Material type: Text; Format: print ; Literary form: Not fiction Language: German Publication details: Berlin : Akademie-Verlag, 1971 Availability: Not available: ეროვნული სამეცნიერო ბიბლიოთეკა 1: Lost (1). Log in to add tags Add to cart (remove)
		No cover image available Die gegenwärtige Lage in der mathematischen Grundlagenforschung : neue Fassung des Widerspruchsfreiheitsbeweises für die reine Zahlentheorie / [von] Gerhard Gentzen. by Gentzen, Gerhard, 1909- Series: Libelli ; Bd. 209 \| Libelli ; Bd. 209 Material type: Text; Format: print ; Literary form: Not fiction Language: German Publication details: Darmstadt : Wissenschaftliche Buchges, 1969, 1938 Availability: Not available: ეროვნული სამეცნიერო ბიბლიოთეკა 1: Lost (1). Log in to add tags Add to cart (remove)
		No cover image available Algebra and logic [electronic resource]. Material type: Continuing resource; Format: electronic available online ; Type of continuing resource: periodical Publication details: [New York, N.Y.] : Plenum Pub. In: Academic Search Premier Online resources: Full text available 5/1/2003 - . (Due to publisher restrictions, the most recent 12 months are not available.). Available on EBSCOhost. Availability: No items available. Log in to add tags Add to cart (remove)
		No cover image available Untersuchungen über den Einfluss des Wahrheitswertes von Aussagen auf das Erkennen der logischen Äquivalenz bzw. : Nichtäquivalenz von Aussagenpaaren durch Schüler / [Von] Hans Bock [und] Werner Walsch. by Bock, Hans, Dr. paed Walsch, Werner Series: Universität Halle-Wittenberg. Wissenschaftliche Beiträge ; 1967/17. Material type: Text; Format: print ; Literary form: Not fiction Language: German Publication details: Halle <Saale> : Martin-Luther-Universität Halle-Wittenberg, 1967 Availability: Not available: ეროვნული სამეცნიერო ბიბლიოთეკა 1: Lost (1). 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 Archiv für mathematische Logik und Grundlagenforschung : 1957. Material type: Text; Format: print ; Literary form: Not fiction Language: German, English Publication details: Stuttgart : W. Kohlhammer, 1950-1987 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. 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)
		No cover image available The categories of Charles Peirce : a dissertation / Eugene Freeman. by Freeman, Eugene, 1906-1986 Material type: Text; Format: print Language: English Publication details: [Chicago] : The University of Chicago libraries, 1934 Availability: Not available: ეროვნული სამეცნიერო ბიბლიოთეკა 1: Lost (1). Log in to add tags Add to cart (remove)
		Logic and data bases / edited by Hervé Gallaire and Jack Minker. by Symposium on Logic and Data Bases, Centre d'études et de recherches de Toulouse 1977 Gallaire, Hervé Minker, Jack Material type: Text Publication details: New York : Plenum Press, c1978 Availability: Items available for loan: ეროვნული სამეცნიერო ბიბლიოთეკა 1 (1)Call number: 517.11. Place hold Log in to add tags Add to cart (remove)

National Science Library of Georgia

Refine your search

Availability

Authors

Holding libraries

Item types

Locations

Series

Topics

Your search returned 100 results.