Clear Search

Books+ Search Results

Subject: "Mathematics."
LC Class: Is
Is Is Not
A - General Works
Subject: Is
Is Is Not
Logic, Symbolic and mathematical

Advanced Search

Basic Search
Help
Add a row
Reset

Limit results by

1.
Badania nad teorją dowodu. Recherches sur la théorie de la démonstration
Author
Herbrand, Jacques, 1908-1931
Published
Warszawa : Nakł. Tow. Naukowego Warszawskiego, 1930.
Location
Library Shelving Facility (LSF) >> A42w 42 33
Format
Books
2.
Logika geometryczna i jej znaczenie dla filozofii
Author
Bornstein, Benedykt
Published
Varsaviae : Cura et sumptibus Universitatis Liberae Polonae, 1928.
Location
Unavailable - use request form to try BorrowDirect or ILL >> A42w 25 20
Format
Books
3.
Probleme über Veränderungen von Zeichenreihen nach gegebenen Regeln
Author
Thue, Axel, 1863-1922
Published
Kristiania [Oslo] : J. Dybwad, 1914.
Location
Library Shelving Facility (LSF) >> Alg T4214p
Format
Books
4.
On structurality of rules of inference
Author
Kubiński, Tadeusz
Published
Wrocław [Zakład Narodowy im. Ossolińskich] 1965.
Location
SML, Stacks, LC Classification >> BC135 Z9 1965 (LC)
Format
Books
5.
Über mathematische Aussagen, die samt ihrer Negation nachweislich unbeweisbar sind : der Unvollständigkeitssatz von Gödel
Author
Franz, Wolfgang, 1944-
Published
Wiesbaden : F. Steiner, 1977.
Location
SML, Stacks, LC Classification >> AS182 F73 S5 14:1 (LC)
Format
Books
6.
The set of schemata of c-valid equations between regular expressions is independent of the basic alphabet
Author
Linna, Matti
Published
Turku [Finland] : Turun Yliopisto, 1970.
Location
Library Shelving Facility (LSF) >> A44F T84B 144
Format
Books
7.
Semantic entailment and formal derivability
Author
Beth, Evert Willem
Published
Amsterdam, Noord-Hollandsche Uitg. Mij., 1955.
Location
Library Shelving Facility (LSF) >> A37 20 II 18
Format
Books
8.
The logic of nonsense
Author
Halldén, Sören
Published
Uppsala, Lundequistska Bokhandeln [1949]
Location
Unavailable - use request form to try BorrowDirect or ILL >> A39u 40 1949
Library Shelving Facility (LSF) >> Kh41 949h
Format
Books
9.
The Heritage of Kazimierz Ajdukiewicz
Published
Amsterdam ; Atlanta, GA : Rodopi, 1995.
Location
SML, Stacks, LC Classification >> AZ105 P69 40 (LC)
Format
Books
10.
Euphony and logos : essays in honour of Maria Steffen-Batóg and Tadeusz Batóg
Published
Amsterdam ; Atlanta, Ga. : Rodopi, 1997.
Location
SML, Stacks, LC Classification >> AZ105 P69 57 (LC)
Format
Books