Search Results for MATHEMATICS / Logic

1.

Basic concepts of mathematics and logic

Author

Gemignani, Michael C.

Preferred Shelf Number

QA 39 G2846 1968

Format:

Availability

Beytepe Library~1

Available:
Copies:

2.

Logic and discrete mathematics : a concise introduction

Author

Conradie, Willem, 1978- author. Goranko, Valentin, author.

Preferred Shelf Number

QA9 C7423 2015

Format:

Availability

Beytepe Library~1

Available:
Copies:

3.

Mathematics of Fuzzy Sets and Fuzzy Logic

Author

Bede, Barnabas. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(333950.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-35221-8

Format:

Availability

Online Library~1

Available:
Copies:

4.

Phenomenology, Logic, and the Philosophy of Mathematics

Author

Tieszen, Richard.

Preferred Shelf Number

ONLINE

Electronic Access

Access by subscription

Format:

Availability

Online Library~1

Available:
Copies:

5.

Fuzzy logic concepts in computer science and mathematics

Author

Kar, Rahul, editor.

Preferred Shelf Number

QA9.64

Electronic Access

Taylor & Francis https://www.taylorfrancis.com/books/9781779643551
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Availability

Online Library~1

Available:
Copies:

6.

Advances in Applied Logics Applications of Logic for Philosophy, Mathematics and Information Technology

Author

Abe, Jair Minoro. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-35759-6

Format:

Availability

Online Library~1

Available:
Copies:

7.

Fuzzy logic applications in computer science and mathematics

Author

Kar, Rahul, editor.

Preferred Shelf Number

QA9.64 .F89 2023

Electronic Access

https://onlinelibrary.wiley.com/doi/book/10.1002/9781394175130

Format:

Availability

Online Library~1

Available:
Copies:

8.

Luck, logic, and white lies : the mathematics of games

Author

Bewersdorff, Jörg, author.

Preferred Shelf Number

QA269

Electronic Access

Taylor & Francis https://www.taylorfrancis.com/books/9781003092872
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Availability

Online Library~1

Available:
Copies:

9.

Guide to Discrete Mathematics An Accessible Introduction to the History, Theory, Logic and Applications

Author

O'Regan, Gerard. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-44561-8

Format:

Availability

Online Library~1

Available:
Copies:

10.

Mathematics, Computer Science and Logic - A Never Ending Story The Bruno Buchberger Festschrift

Author

Paule, Peter. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(332822.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-319-00966-7

Format:

Availability

Online Library~1

Available:
Copies:

11.

Rethinking Logic: Logic in Relation to Mathematics, Evolution, and Method

Author

Cellucci, Carlo. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(336157.1)

Electronic Access

http://dx.doi.org/10.1007/978-94-007-6091-2

Format:

Availability

Online Library~1

Available:
Copies:

12.

After Gödel : Platonism and rationalism in mathematics and logic

Author

Tieszen, Richard L., author.

Preferred Shelf Number

QA9 T54 2013

Format:

Availability

Beytepe Library~1

Available:
Copies:

13.

The outer limits of reason what science, mathematics, and logic cannot tell us

Author

Yanofsky, Noson S., 1967- Project Muse.

Preferred Shelf Number

ONLINE

Electronic Access

Full text available:

Format:

Availability

Online Library~1

Available:
Copies:

14.

Cover image for Giuseppe Peano between Mathematics and Logic Proceeding of the International Conference in honour of Giuseppe Peano on the 150th anniversary of his birth and the centennial of the Formulario Mathematico, Turin (Italy), October 2–3,2008

Giuseppe Peano between Mathematics and Logic Proceeding of the International Conference in honour of Giuseppe Peano on the 150th anniversary of his birth and the centennial of the Formulario Mathematico, Turin (Italy), October 2–3,2008

Author

Skof, Fulvia. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-88-470-1836-5

Format:

Availability

Online Library~1

Available:
Copies:

15.

Logic, Mathematics, Philosophy, Vintage Enthusiasms Essays in Honour of John L. Bell

Author

DeVidi, David. editor. Hallett, Michael. editor. Clarke, Peter. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-94-007-0214-1

Format:

Availability

Online Library~1

Available:
Copies:

16.

The origin of the logic of symbolic mathematics Edmund Husserl and Jacob Klein

Author

Hopkins, Burt C. Project Muse.

Preferred Shelf Number

ONLINE

Electronic Access

Full text available:

Format:

Availability

Online Library~1

Available:
Copies:

17.

After Gödel Platonism and rationalism in mathematics and logic

Author

Tieszen, Richard L.

Preferred Shelf Number

ONLINE

Electronic Access

Oxford scholarship online http://dx.doi.org/10.1093/acprof:oso/9780199606207.001.0001

Format:

Availability

Online Library~1

Available:
Copies:

18.

Logic and Philosophy of Mathematics in the Early Husserl

Author

Centrone, Stefania. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-90-481-3246-1

Format:

Availability

Online Library~1

Available:
Copies:

19.

The adventure of reason interplay between philosophy of mathematics and mathematical logic, 1900-1940

Author

Mancosu, Paolo.

Preferred Shelf Number

ONLINE

Electronic Access

Oxford scholarship online http://dx.doi.org/10.1093/acprof:oso/9780199546534.001.0001

Format:

Availability

Online Library~1

Available:
Copies:

20.

Cover image for Comprehensive Mathematics for Computer Scientists 1 Sets and Numbers, Graphs and Algebra, Logic and Machines, Linear Geometry (Second Edition)

Comprehensive Mathematics for Computer Scientists 1 Sets and Numbers, Graphs and Algebra, Logic and Machines, Linear Geometry (Second Edition)

Author

Mazzola, Guerino. author. Milmeister, Gérard. author. Weissmann, Jody. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-36874-8

Format:

Availability

Online Library~1

Available:
Copies:

21.

The Age of Alternative Logics Assessing Philosophy of Logic and Mathematics Today

Author

Benthem, Johan. Heinzmann, Gerhard. Rebuschi, Manuel. Visser, Henk. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-4020-5012-7

Format:

Availability

Online Library~1

Available:
Copies:

22.

Logic of mathematics a modern course of classical logic

Author

Adamowicz, Zofia. Zbierski, Paweł. Wiley InterScience (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

Wiley InterScience An electronic book accessible through the World Wide Web; click for information
Ebook Library Click here to view book
Contributor biographical information http://catdir.loc.gov/catdir/bios/wiley042/95020818.html

Format:

Availability

Online Library~1

Available:
Copies:

23.

Logic Colloquium '84 proceedings of the colloquium held in Manchester, U.K., July 1984

Author

Logic Colloquium '84 (Manchester) Paris, J. B. Wilkie, A. J. (Alex J) Wilmers, G. M.

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9780444879998

Format:

Availability

Online Library~1

Available:
Copies:

24.

Cylindric algebras

Author

Henkin, Leon. Monk, J. Donald, ort. yaz. Tarski, Alfred, ort. yaz.

Preferred Shelf Number

QA 9 H415 1971- V.1

Format:

Availability

Beytepe Library~1

Available:
Copies:

25.

An examination of logical positivism

Author

Weinberg, Julius Rudolf, 1908-

Preferred Shelf Number

B 824.6 W434 1936 (SET)

Format:

Availability

Beytepe Library~1

Available:
Copies:

26.

A treatise on induction and probability

Author

Wright, Georg Henrik von, 1916-

Preferred Shelf Number

BC 91 W72 1951 (SET)

Format:

Availability

Beytepe Library~1

Available:
Copies:

27.

Foundations of geometry and induction : containing geometry in the sensible world and the logical problem of induction

Author

Nicod, Jean, 1893-1924.

Preferred Shelf Number

QA 681 N5 1930 (SET)

Format:

Availability

Beytepe Library~1

Available:
Copies:

28.

Logical studies

Author

Wright, Georg Henrik von, 1916-

Preferred Shelf Number

BC 6 W72 1957 (SET)

Format:

Availability

Beytepe Library~1

Available:
Copies:

29.

The foundations of mathematics : and other logical essays

Author

Ramsey, Frank Plumpton, 1903-1930. Braithwaite, Richard Bevan, ed.

Preferred Shelf Number

QA 9 R23 1931

Format:

Availability

Beytepe Library~1

Available:
Copies:

30.

The nature of mathematics : a critical survey

Author

Black, Max, 1909-

Preferred Shelf Number

QA 9 B62 1933 (SET)

Format:

Availability

Beytepe Library~1

Available:
Copies:

31.

The technique of controversy : principles of dynamic logic

Author

Bogoslovsky, Boris Basil, 1890-

Preferred Shelf Number

BC 108 B65 1928 (SET)

Format:

Availability

Beytepe Library~1

Available:
Copies:

32.

The limits of science : outline of logic and of the methodology of the exact sciences

Author

Chwistek, Leon, 1884- Brodie, Helen Charlotte, 1915-

Preferred Shelf Number

Q 175 C494 1948 A (SET)

Format:

Availability

Beytepe Library~1

Available:
Copies:

33.

Residuated lattices an algebraic glimpse at substructural logics

Author

Galatos, Nikolaos.

Preferred Shelf Number

ONLINE

Electronic Access

Full text
ScienceDirect http://www.sciencedirect.com/science/book/9780444521415

Format:

Availability

Online Library~1

Available:
Copies:

34.

Residuated lattices an algebraic glimpse at substructural logics

Author

Galatos, Nikolaos.

Preferred Shelf Number

ONLINE

Electronic Access

Full text
ScienceDirect http://www.sciencedirect.com/science/book/9780444521415

Format:

Availability

Online Library~1

Available:
Copies:

35.

Relation algebras

Author

Maddux, R. D. (Roger D.), 1948-

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9780444520135

Format:

Availability

Online Library~1

Available:
Copies:

36.

Lectures on the Curry-Howard isomorphism

Author

Sørensen, Morten Heine. Urzyczyn, Paweł.

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9780444520777

Format:

Availability

Online Library~1

Available:
Copies:

37.

Many-dimensional modal logics theory and applications

Author

Gabbay, Dov M., 1945-

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9780444508263

Format:

Availability

Online Library~1

Available:
Copies:

38.

Relation algebras by games

Author

Hirsch, R. (Robin) Hodkinson, Ian.

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9780444509321

Format:

Availability

Online Library~1

Available:
Copies:

39.

Rudiments of [mu]-calculus

Author

Arnold, A. (André), 1945- Niwiński, Damian.

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9780444506207

Format:

Availability

Online Library~1

Available:
Copies:

40.

Theory of relations

Author

Fraïssé, Roland.

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9780444505422

Format:

Availability

Online Library~1

Available:
Copies:

41.

Computable structures and the hyperarithmetical hierarchy

Author

Ash, C. J. Knight, J. (Julia)

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9780444500724

Format:

Availability

Online Library~1

Available:
Copies:

42.

Handbook of computability theory

Author

Griffor, Edward R.

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9780444898821

Format:

Availability

Online Library~1

Available:
Copies:

43.

Categorical logic and type theory

Author

Jacobs, Bart.

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9780444501707

Format:

Availability

Online Library~1

Available:
Copies:

44.

Tools and techniques in modal logic

Author

Kracht, Marcus.

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9780444500557

Format:

Availability

Online Library~1

Available:
Copies:

45.

Classical recursion theory the theory of functions and sets of natural numbers

Author

Odifreddi, Piergiorgio, 1950-

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9780444502056

Format:

Availability

Online Library~1

Available:
Copies:

46.

Handbook of proof theory

Author

Buss, Samuel R.

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9780444898401

Format:

Availability

Online Library~1

Available:
Copies:

47.

Handbook of recursive mathematics

Author

Ershov, I͡Uriĭ Leonidovich.

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9780444500038

Format:

Availability

Online Library~1

Available:
Copies:

48.

Handbook of recursive mathematics

Author

Ershov, I͡Uriĭ Leonidovich.

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9780444501066

Format:

Availability

Online Library~1

Available:
Copies:

49.

Admissibility of logical inference rules

Author

Rybakov, Vladimir V. (Vladimir Vladimir), 1961-

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9780444895059

Format:

Availability

Online Library~1

Available:
Copies:

50.

Logical frameworks for truth and abstraction an axiomatic study

Author

Cantini, Andrea.

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9780444823069

Format:

Availability

Online Library~1

Available:
Copies:

51.

Cover image for Logic, methodology, and philosophy of science IX proceedings of the Ninth International Congress of Logic, Methodology, and Philosophy of Science, Uppsala, Sweden, August 7-14, 1991

Logic, methodology, and philosophy of science IX proceedings of the Ninth International Congress of Logic, Methodology, and Philosophy of Science, Uppsala, Sweden, August 7-14, 1991

Author

International Congress of Logic, Methodology, and Philosophy of Science (9th : 1991 : Uppsala, Sweden) Prawitz, Dag. Skyrms, Brian. Westerståhl, Dag, 1946-

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9780444893413

Format:

Availability

Online Library~1

Available:
Copies:

52.

Hausdorff gaps and limits

Author

Frankiewicz, Ryszard. Zbierski, Paweł.

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9780444894908

Format:

Availability

Online Library~1

Available:
Copies:

53.

Selected papers on Automath

Author

Nederpelt, R. P. (Rob P.)

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9780444898227

Format:

Availability

Online Library~1

Available:
Copies:

54.

Recursive functionals

Author

Sanchis, Luis E.

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9780444894472

Format:

Availability

Online Library~1

Available:
Copies:

55.

Classical recursion theory the theory of functions and sets of natural numbers

Author

Odifreddi, Piergiorgio, 1950-

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9780444894830

Format:

Availability

Online Library~1

Available:
Copies:

56.

Model theory

Author

Chang, Chen Chung, 1927- Keisler, H. Jerome.

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9780444880543

Format:

Availability

Online Library~1

Available:
Copies:

57.

Classification theory and the number of non-isomorphic models

Author

Shelah, Saharon.

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9780444702609

Format:

Availability

Online Library~1

Available:
Copies:

58.

Logic Colloquium '88 proceedings of the Colloquium held in Padova, Italy August 22-31, 1988

Author

Logic Colloquium (1988 : Padova, Italy) Ferro, R. (Ruggero)

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9780444874559

Format:

Availability

Online Library~1

Available:
Copies:

59.

Logic Colloquium '87 proceedings of the Colloquium held in Granada, Spain July 20-25, 1987

Author

Logic Colloquium (1987 : Granada, Spain) Ebbinghaus, Heinz-Dieter, 1939-

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9780444880222

Format:

Availability

Online Library~1

Available:
Copies:

60.

Cover image for Logic, methodology, and philosophy of science VIII proceedings of the Eighth International Congress of Logic, Methodology, and Philosophy of Science, Moscow, 1987

Logic, methodology, and philosophy of science VIII proceedings of the Eighth International Congress of Logic, Methodology, and Philosophy of Science, Moscow, 1987

Author

International Congress of Logic, Methodology, and Philosophy of Science (8th : 1987 : Moscow, Russia) Fenstad, Jens Erik. Frolov, Ivan Timofeevich. Hilpinen, Risto.

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9780444705204

Format:

Availability

Online Library~1

Available:
Copies:

61.

Computability, complexity, logic

Author

Börger, E. (Egon), 1946-

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9780444874061

Format:

Availability

Online Library~1

Available:
Copies:

62.

Logic colloquium '85 proceedings of the colloquium held in Orsay, France July 1985

Author

Logic Colloquium (1985 : Orsay, France) Equipe de logique mathématique (Paris, France)

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9780444702111

Format:

Availability

Online Library~1

Available:
Copies:

63.

Boole's logic and probability a critical exposition from the standpoint of contemporary algebra, logic, and probability theory

Author

Hailperin, Theodore.

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9780444879523

Format:

Availability

Online Library~1

Available:
Copies:

64.

Theory of relations

Author

Fraïssé, Roland.

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9780444878656

Format:

Availability

Online Library~1

Available:
Copies:

65.

Foundations of infinitesimal stochastic analysis

Author

Stroyan, K. D. Bayod, José Manuel.

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9780444879271

Format:

Availability

Online Library~1

Available:
Copies:

66.

Equivalents of the axiom of choice, II

Author

Rubin, Herman. Rubin, Jean E.

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9780444877086

Format:

Availability

Online Library~1

Available:
Copies:

67.

Cylindric algebras. Part II

Author

Henkin, Leon. Monk, J. Donald (James Donald), 1930- Tarski, Alfred.

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9780444876799

Format:

Availability

Online Library~1

Available:
Copies:

68.

Intentional mathematics

Author

Shapiro, Stewart, 1951-

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9780444876324

Format:

Availability

Online Library~1

Available:
Copies:

69.

Harvey Friedman's research on the foundations of mathematics

Author

Friedman, Harvey, 1948- Harrington, L. A.

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9780444878342

Format:

Availability

Online Library~1

Available:
Copies:

70.

Logic Colloquium '82 proceedings of the colloquium held in Florence, 23-28 August, 1982

Author

Logic Colloquium '82 (Florence) Lolli, Gabriele, 1942- Longo, G. (Giuseppe) Marcja, A. (Annalisa)

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9780444868763

Format:

Availability

Online Library~1

Available:
Copies:

71.

Combinatorial set theory partition relations for cardinals

Author

Erdős, Paul, 1913-1996.

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9780444861573

Format:

Availability

Online Library~1

Available:
Copies:

72.

Southeast Asian Conference on Logic proceedings of the Logic Conference, Singapore, 1981

Author

Southeast Asian Conference on Logic (1981 : Singapore) Chong, C.-T. (Chi-Tat), 1949- Wicks, M. J. (Malcolm John), 1928-

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9780444867063

Format:

Availability

Online Library~1

Available:
Copies:

73.

Cover image for Logic, methodology, and philosophy of science VI proceedings of the Sixth International Congress of Logic, Methodology, and Philosophy of Science, Hannover, 1979

Logic, methodology, and philosophy of science VI proceedings of the Sixth International Congress of Logic, Methodology, and Philosophy of Science, Hannover, 1979

Author

International Congress of Logic, Methodology, and Philosophy of Science (6th : 1979 : Hannover, Germany) Cohen, L. Jonathan (Laurence Jonathan)

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9780444854230

Format:

Availability

Online Library~1

Available:
Copies:

74.

Proceedings of the Herbrand symposium Logic Colloquium '81 ... held in Marseilles, France, July 1981

Author

Logic Colloquium (1981 : Marseille, France) Stern, Jacques, 1949- Herbrand, Jacques, 1908-1931.

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9780444864178

Format:

Availability

Online Library~1

Available:
Copies:

75.

The L.E.J. Brouwer Centenary Symposium proceedings of the conference held in Noordwijkerhout, 8-13 June 1981

Author

L.E.J. Brouwer Centenary Symposium (1981 : Noordwijkerhout, Netherlands) Brouwer, L. E. J. (Luitzen Egbertus Jan), 1881-1966. Troelstra, A. S. (Anne Sjerp) Dalen, D. van (Dirk), 1932-

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9780444864949

Format:

Availability

Online Library~1

Available:
Copies:

76.

Patras Logic Symposion proceedings of the Logic Symposion held at Patras, Greece, August 18-22, 1980

Author

Logic Symposion (1980 : Pátrai, Greece) Metakides, George, 1945-

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9780444864765

Format:

Availability

Online Library~1

Available:
Copies:

77.

Logic Colloquium '80 papers intended for the European summer meeting of the Association for Symbolic Logic

Author

Logic Colloquium (1980 : Prague, Czech Republic) Dalen, D. van (Dirk), 1932- Lascar, D. (Daniel), 1942- Smiley, T. J. (Timothy John) Association for Symbolic Logic.

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9780444864659

Format:

Availability

Online Library~1

Available:
Copies:

78.

Fundamentals of generalized recursion theory

Author

Fitting, Melvin, 1942-

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9780444861719

Format:

Availability

Online Library~1

Available:
Copies:

79.

The Kleene Symposium proceedings of the symposium held June 18-24, 1978 at Madison, Wisconsin, U.S.A.

Author

Kleene Symposium (1978 : Madison, Wis.) Kleene, Stephen Cole, 1909-1994. Barwise, Jon. Keisler, H. Jerome. Kunen, Kenneth.

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9780444853455

Format:

Availability

Online Library~1

Available:
Copies:

80.

Cover image for Mathematical logic in Latin America proceedings of the IV Latin American Symposium on Mathematical Logic held in Santiago, December 1978

Mathematical logic in Latin America proceedings of the IV Latin American Symposium on Mathematical Logic held in Santiago, December 1978

Author

Latin-American Symposium on Mathematical Logic (4th : 1978 : Santiago de Chile) Arruda, A. I. (Ayda Ignez) Chuaqui, R. Costa, Newton C. A. da.

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9780444854025

Format:

Availability

Online Library~1

Available:
Copies:

81.

Set theory an introduction to independence proofs

Author

Kunen, Kenneth.

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9780444854018

Format:

Availability

Online Library~1

Available:
Copies:

82.

Word problems II the Oxford book

Author

Adi͡an, S. I. Boone, W. W. (William W.) Higman, G. (Graham)

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9780444853431

Format:

Availability

Online Library~1

Available:
Copies:

83.

Logic colloquium '78 proceedings of the colloquium held in Mons, August 1978

Author

Logic Colloquium (1978 : Mons, Belgium) Boffa, Maurice. Dalen, D. van (Dirk), 1932- McAloon, Kenneth.

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9780444853783

Format:

Availability

Online Library~1

Available:
Copies:

84.

Foundational studies selected works. Volume II

Author

Mostowski, Andrzej. Kuratowski, Kazimierz, 1896-1980.

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9780444851031

Format:

Availability

Online Library~1

Available:
Copies:

85.

Foundational studies selected works. Volume I

Author

Mostowski, Andrzej. Kuratowski, Kazimierz, 1896-1980.

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9780444851024

Format:

Availability

Online Library~1

Available:
Copies:

86.

Logic Colloquium '77 proceedings of the colloquium held in Wrocław, August 1977

Author

Logic Colloquium (1977 : Wrocław, Poland) Macintyre, Angus. Pacholski, Leszek. Paris, J. B. (Jeff B.)

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9780444851789

Format:

Availability

Online Library~1

Available:
Copies:

87.

Algebra of proofs

Author

Szabo, M. E.

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9780720422863

Format:

Availability

Online Library~1

Available:
Copies:

88.

Generalized recursion theory II proceedings of the 1977 Oslo Symposium

Author

Symposium on Generalized Recursion Theory (2nd : 1977 : University of Oslo) Fenstad, Jens Erik. Gandy, R. O. (Robin O.) Sacks, Gerald E.

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9780444851635

Format:

Availability

Online Library~1

Available:
Copies:

89.

Logic Colloquium 76 proceedings of a conference held in Oxford in July 1976

Author

Logic Colloquium (1976 : Oxford) Gandy, R. O. (Robin O.) Hyland, John Martin Elliott.

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9780720406917

Format:

Availability

Online Library~1

Available:
Copies:

90.

Combinatorial set theory

Author

Williams, Neil H.

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9780720407228

Format:

Availability

Online Library~1

Available:
Copies:

91.

Cover image for Non-classical logics, model theory, and computability proceedings of the Third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July 11-17, 1976

Non-classical logics, model theory, and computability proceedings of the Third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July 11-17, 1976

Author

Latin-American Symposium on Mathematical Logic (3rd : 1976 : State University of Campinas) Arruda, A. I. (Ayda Ignez) Costa, Newton C. A. da. Chuaqui, R.

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9780720407525

Format:

Availability

Online Library~1

Available:
Copies:

92.

Sets and classes on the work by Paul Bernays

Author

Bernays, Paul, 1888-1977. Müller, G. H. (Gert Heinz), 1923-

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9780720422849

Format:

Availability

Online Library~1

Available:
Copies:

93.

Set theory with an introduction to descriptive set theory

Author

Kuratowski, Kazimierz, 1896-1980. Mostowski, Andrzej.

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9780720404708

Format:

Availability

Online Library~1

Available:
Copies:

94.

Large infinitary languages model theory

Author

Dickmann, M. A., 1940-

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9780444106223

Format:

Availability

Online Library~1

Available:
Copies:

95.

Proof theory

Author

Takeuti, Gaisi, 1926-

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9780444104922

Format:

Availability

Online Library~1

Available:
Copies:

96.

An algebraic approach to nonclassical logics

Author

Rasiowa, Helena.

Preferred Shelf Number

QA 10 R37 1974

Format:

Availability

Beytepe Library~1

Available:
Copies:

97.

Set theory : an introduction to large cardinals

Author

Drake, Frank R.

Preferred Shelf Number

QA 248 D7 1974

Format:

Availability

Beytepe Library~1

Available:
Copies:

98.

Generalized recursion theory Proceedings of the 1972 Oslo symposium

Author

Symposium on Generalized Recursion Theory (1st : 1972 : University of Oslo) Fenstad, Jens Erik. Hinman, Peter G.

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9780444105455

Format:

Availability

Online Library~1

Available:
Copies:

99.

Logic in algebraic form Three languages and theories

Author

Craig, William, 1918-

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9780444104779

Format:

Availability

Online Library~1

Available:
Copies:

100.

An algebraic approach to non-classical logics

Author

Rasiowa, Helena.

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9780720422641

Format:

Availability

Online Library~1

Available:
Copies:

101.

Set theory an introduction to large cardinals

Author

Drake, F. R. (Frank Robert)

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9780444105356

Format:

Availability

Online Library~1

Available:
Copies:

102.

Elementary induction on abstract structures

Author

Moschovakis, Yiannis N.

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9780444105370

Format:

Availability

Online Library~1

Available:
Copies:

103.

Word problems : decision problems and the burnside problem in group theory

Author

Boone, W. W., ed. Cannonito, F. B., ed. Lyndon, R. C., ed.

Preferred Shelf Number

QA 171 W85 1973

Format:

Availability

Beytepe Library~1

Available:
Copies:

104.

The axiom of choice

Author

Jech, Thomas J.

Preferred Shelf Number

QA 481 J4 1973

Format:

Availability

Beytepe Library~3

Available:
Copies:

105.

Foundations of set theory

Author

Fraenkel, Abraham Adolf, 1891-1965. Bar-Hillel, Yehoshua. Lévy, Azriel, 1934-

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9780720422702

Format:

Availability

Online Library~1

Available:
Copies:

106.

Truth, syntax and modality proceedings of the Temple University Conference on Alternative Semantics

Author

Conference on Alternative Semantics (1970 : Temple University) Leblanc, Hugues, 1924- Temple University. College of Liberal Arts. Association for Symbolic Logic.

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9780720422696

Format:

Availability

Online Library~1

Available:
Copies:

107.

Cover image for Logic, methodology and philosophy of science IV proceedings of the Fourth International congress for Logic, Methodology and Philosophy of Science, Bucharest, 1971

Logic, methodology and philosophy of science IV proceedings of the Fourth International congress for Logic, Methodology and Philosophy of Science, Bucharest, 1971

Author

International Congress for Logic, Methodology, and Philosophy of Science (4th : 1971 : Bucharest, Romania) Suppes, Patrick, 1922- International Union of the History and Philosophy of Science. Division of Logic, Methodology and Philosophy of Science. Academia Republicii Socialiste România.

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9780444104915

Format:

Availability

Online Library~1

Available:
Copies:

108.

Word problems decision problems and the Burnside problem in group theory

Author

Boone, W. W. (William W.) Cannonito, F. B. (Frank Benjamin) Lyndon, Roger C.

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9780720422719

Format:

Availability

Online Library~1

Available:
Copies:

109.

The axiom of choice

Author

Jech, Thomas J.

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9780444104847

Format:

Availability

Online Library~1

Available:
Copies:

110.

Combinatory logic. Volume II

Author

Curry, Haskell B. (Haskell Brooks), 1900-1982. Hindley, J. Roger. Seldin, J. P.

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9780720422085

Format:

Availability

Online Library~1

Available:
Copies:

111.

The theory of semisets

Author

Vopěnka, Petr. Hájek, Petr.

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9780720422672

Format:

Availability

Online Library~1

Available:
Copies:

112.

Contributions to non-standard analysis

Author

Symposium on Non-standard Analysis (1970 : Oberwolfach, Germany) Luxemburg, W. A. J., 1929- Robinson, Abraham, 1918-1974, ed.

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9780720420654

Format:

Availability

Online Library~1

Available:
Copies:

113.

Proceedings of the Second Scandinavian Logic Symposium

Author

Scandinavian Logic Symposium (2nd : 1970 : University of Oslo) Fenstad, Jens Erik, ed. Association for Symbolic Logic.

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9780720422597

Format:

Availability

Online Library~1

Available:
Copies:

114.

Logic Colloquium '69 proceedings of the Summer School and [fourteenth] Colloquium in Mathematical Logic, Manchester, August 1969

Author

Summer School in Logic (14th : 1969 : Manchester, England) Gandy, R. O. Yates, C. Michael E. North Atlantic Treaty Organization. International Union of the History and Philosophy of Science. Division of Logic, Methodology and Philosophy of Science.

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9780720422610

Format:

Availability

Online Library~1

Available:
Copies:

115.

Model theory for infinitary logic logic with countable conjunctions and finite quantifiers

Author

Keisler, H. Jerome.

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9780720422580

Format:

Availability

Online Library~1

Available:
Copies:

116.

The metamathematics of algebraic systems, collected papers: 1936-1967

Author

Malʹt͡sev, A. I. (Anatoliĭ Ivanovich), 1909-1967. Wells, Benjamin Franklin.

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9780720422665

Format:

Availability

Online Library~1

Available:
Copies:

117.

Cover image for Mathematical logic and foundations of set theory Proceedings of an international colloquium under the auspices of the Israel Academy of Sciences and Humanities, Jerusalem, 11-14 November 1968.

Mathematical logic and foundations of set theory Proceedings of an international colloquium under the auspices of the Israel Academy of Sciences and Humanities, Jerusalem, 11-14 November 1968.

Author

International Colloquium on Mathematical Logic and Foundations of Set Theory (1968 : Jerusalem) Bar-Hillel, Yehoshua. Aḳademyah ha-leʼumit ha-Yiśreʼelit le-madaʻim. International Mathematical Union. Einstein Institute of Mathematics.

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9780720422559

Format:

Availability

Online Library~1

Available:
Copies:

118.

Constructible sets with applications

Author

Mostowski, Andrzej.

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9780444534217

Format:

Availability

Online Library~1

Available:
Copies:

119.

Constructive order types

Author

Crossley, John N.

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9780444534200

Format:

Availability

Online Library~1

Available:
Copies:

120.

Intuitionistic logic, model theory and forcing

Author

Fitting, Melvin, 1942-

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9780444534187

Format:

Availability

Online Library~1

Available:
Copies:

121.

The collected papers of Gerhard Gentzen

Author

Szabo, M. E. Gentzen, Gerhard.

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9780444534194

Format:

Availability

Online Library~1

Available:
Copies:

122.

Set theory

Author

Kuratowski, Kazimierz, 1896-1980. Mostowski, Andrzej.

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9780444534170

Format:

Availability

Online Library~1

Available:
Copies:

123.

Contributions to mathematical logic Proceedings of the Logic Colloquium, Hannover 1966

Author

Logic Colloquium (11th : 1966 : Hannover, Germany) Schmidt, H. Arnold. Schütte, K. (Kurt)

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9780444534149

Format:

Availability

Online Library~1

Available:
Copies:

124.

The problem of inductive logic Proceedings of the International colloquium in the philosophy of science, London, 1965. [Volume 2]

Author

International Colloquium in the Philosophy of Science (1965 : Bedford College) Lakatos, Imre.

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9780444534156

Format:

Availability

Online Library~1

Available:
Copies:

125.

Cover image for Logic, methodology and philosophy of science III proceedings of the Third International Congress for Logic, Methodology and Philosophy of Science, Amsterdam 1967

Logic, methodology and philosophy of science III proceedings of the Third International Congress for Logic, Methodology and Philosophy of Science, Amsterdam 1967

Author

International Congress for Logic, Methodology, and Philosophy of Science (3rd : 1967 : Amsterdam, Netherlands) Rootselaar, B. van (Bob) Staal, J. F.

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9780444534163

Format:

Availability

Online Library~1

Available:
Copies:

126.

Problems in the philosophy of science

Author

International Colloquium in the Philosophy of Science (1965 : Bedford College) Lakatos, Imre. Musgrave, Alan. Bedford College. British Society for the Philosophy of Science.

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9780444534132

Format:

Availability

Online Library~1

Available:
Copies:

127.

Problems in the philosophy of mathematics

Author

International Colloquium in the Philosophy of Science (1965 : Bedford College) Lakatos, Imre. Bedford College. British Society for the Philosophy of Science.

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9780444534118

Format:

Availability

Online Library~1

Available:
Copies:

128.

Elements of mathematical logic (Model theory)

Author

Kreisel, Georg. Krivine, J. L. (Jean Louis), joint author.

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9780444534125

Format:

Availability

Online Library~1

Available:
Copies:

129.

Cover image for Sets, models and recursion theory Proceedings of the Summer School in Mathematical Logic and tenth Logic Colloquium, Leicester, August-September 1965

Sets, models and recursion theory Proceedings of the Summer School in Mathematical Logic and tenth Logic Colloquium, Leicester, August-September 1965

Author

Logic Colloquium (10th : 1965 : University of Leicester) Crossley, John N.

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9780444534101

Format:

Availability

Online Library~1

Available:
Copies:

130.

Non-standard analysis

Author

Robinson, Abraham, 1918-1974.

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9780444534071

Format:

Availability

Online Library~1

Available:
Copies:

131.

Aspects of inductive logic

Author

Hintikka, Jaakko, 1929- Suppes, Patrick, 1922-

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9780444534088

Format:

Availability

Online Library~1

Available:
Copies:

132.

Logic, methodology and philosophy of science proceedings of the 1960 international congress

Author

International Congress of Logic, Methodology, and Philosophy of Science (1960) Nagel, Ernest, 1901-1985. Suppes, Patrick, 1922- Tarski, Alfred.

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9780804700962

Format:

Availability

Online Library~1

Available:
Copies:

133.

Intuitionism an introduction

Author

Heyting, A. (Arend), 1898-

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9780444534064

Format:

Availability

Online Library~1

Available:
Copies:

134.

A deductive theory of space and time

Author

Basri, Saul A.

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9780444534095

Format:

Availability

Online Library~1

Available:
Copies:

135.

Introduction to the theory of finite automata

Author

Kobrinskiĭ, Natan Efimovich. Trakhtenbrot, B. A. (Boris Avraamovich), author.

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9780444534033

Format:

Availability

Online Library~1

Available:
Copies:

136.

The foundations of intuitionistic mathematics

Author

Kleene, Stephen Cole, 1909-1994. Vesley, Richard Eugene, 1932-

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9780444534040

Format:

Availability

Online Library~1

Available:
Copies:

137.

Formal systems and recursive functions

Author

Crossley, John N. Dummett, Michael, 1925-2011.

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9780444534057

Format:

Availability

Online Library~1

Available:
Copies:

138.

A transfinite type theory with type variables

Author

Andrews, P. B. (Peter Bruce), 1937-

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9780444534026

Format:

Availability

Online Library~1

Available:
Copies:

139.

Languages with expressions of infinite length

Author

Karp, Carol, 1926-1972.

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9780444534019

Format:

Availability

Online Library~1

Available:
Copies:

140.

Equivalents of the axiom of choice

Author

Rubin, Herman. Rubin, Jean E., author.

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9780444533999

Format:

Availability

Online Library~1

Available:
Copies:

141.

Introduction to model theory and to the metamathematics of algebra

Author

Robinson, Abraham, 1918-1974.

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9780444533975

Format:

Availability

Online Library~1

Available:
Copies:

142.

Computer programming and formal systems

Author

Braffort, P. (Paul), editor. Hirschberg, D. (David), editor.

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9780444534002

Format:

Availability

Online Library~1

Available:
Copies:

143.

Aristotle's modal syllogisms

Author

McCall, Storrs.

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9780444533968

Format:

Availability

Online Library~1

Available:
Copies:

144.

A survey of mathematical logic

Author

Wang, Hao, 1921-

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9780444533982

Format:

Availability

Online Library~1

Available:
Copies:

145.

The logical systems of Lesniewski

Author

Luschei, Eugene C.

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9780444533951

Format:

Availability

Online Library~1

Available:
Copies:

146.

Recursive analysis

Author

Goodstein, R. L. (Reuben Louis)

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9780444533944

Format:

Availability

Online Library~1

Available:
Copies:

147.

Lincos design of a language for cosmic intercourse

Author

Freudenthal, Hans, 1905-1990.

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9780444533937

Format:

Availability

Online Library~1

Available:
Copies:

148.

A study in the philosophy of science

Author

Beth, Evert Willem.

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9780444533906

Format:

Availability

Online Library~1

Available:
Copies:

149.

The axiomatic method

Author

Henkin, Leon. Suppes, Patrick, 1922- Tarski, Alfred.

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9780444533920

Format:

Availability

Online Library~1

Available:
Copies:

150.

Toward a systematic pragmatics

Author

Martin, R. M. (Richard Milton), 1916-

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9780444533890

Format:

Availability

Online Library~1

Available:
Copies:

151.

Computer programming and formal systems

Author

Braffort, P. (Paul) Hirschberg, D. (David)

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9780444533913

Format:

Availability

Online Library~1

Available:
Copies:

152.

Foundations of set theory

Author

Fraenkel, Abraham Adolf, 1891-1965. Bar-Hillel, Yehoshua, joint author.

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9780444533883

Format:

Availability

Online Library~1

Available:
Copies:

153.

Axiomatic set theory

Author

Bernays, Paul, 1888-1977.

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9780444533869

Format:

Availability

Online Library~1

Available:
Copies:

154.

Combinatory logic

Author

Curry, Haskell B. (Haskell Brooks), 1900-1982. Feys, Robert. Craig, William, 1918-

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9780444533876

Format:

Availability

Online Library~1

Available:
Copies:

155.

Recursive number theory a development of recursive arithmetic in a logic-free equation calculus.

Author

Goodstein, R. L. (Reuben Louis)

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9780444533852

Format:

Availability

Online Library~1

Available:
Copies:

156.

Ordinal algebras

Author

Tarski, Alfred.

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9780444533845

Format:

Availability

Online Library~1

Available:
Copies:

157.

Complete theories

Author

Robinson, Abraham, 1918-1974.

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9780444533838

Format:

Availability

Online Library~1

Available:
Copies:

158.

Intuitionism an introduction

Author

Heyting, A. (Arend), 1898-

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9780444533821

Format:

Availability

Online Library~1

Available:
Copies:

159.

Mathematical interpretation of formal systems

Author

Wiskundig Genootschap (Netherlands) Skolem, Th. (Thoralf), 1887-1963.

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9780444533814

Format:

Availability

Online Library~1

Available:
Copies:

160.

Solvable cases of the decision problem

Author

Ackermann, W. (Wilhelm), 1896-

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9780444533807

Format:

Availability

Online Library~1

Available:
Copies:

161.

Nomological statements and admissible operations

Author

Reichenbach, Hans, 1891-1953.

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9780444533791

Format:

Availability

Online Library~1

Available:
Copies:

162.

Truth and consequence in mediaeval logic

Author

Moody, Ernest A. (Ernest Addison), 1903-1975.

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9780444533760

Format:

Availability

Online Library~1

Available:
Copies:

163.

Undecidable theories

Author

Tarski, Alfred. Mostowski, Andrzej. Robinson, Raphael M. (Raphael Mitchel), 1911-

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9780444533784

Format:

Availability

Online Library~1

Available:
Copies:

164.

Abstract set theory

Author

Fraenkel, Abraham Adolf, 1891-1965.

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9780444533777

Format:

Availability

Online Library~1

Available:
Copies:

165.

Sentences undecidable in formalized arithmetic an exposition of the theory of Kurt Gödel

Author

Mostowski, Andrzej.

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9780444533753

Format:

Availability

Online Library~1

Available:
Copies:

166.

Ancient formal logic

Author

Bochenski, Joseph M., 1902-1995.

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9780444533678

Format:

Availability

Online Library~1

Available:
Copies:

167.

Outlines of a formalist philosophy of mathematics

Author

Curry, Haskell B. (Haskell Brooks), 1900-1982.

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9780444533685

Format:

Availability

Online Library~1

Available:
Copies:

168.

On the metamathematics of algebra

Author

Robinson, Abraham, 1918-1974.

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9780444533692

Format:

Availability

Online Library~1

Available:
Copies:

169.

The propositional logic of Boethius

Author

Dürr, Karl, 1888-

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9780444533661

Format:

Availability

Online Library~1

Available:
Copies:

170.

An essay in modal logic

Author

Wright, G. H. von (Georg Henrik), 1916-2003.

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9780444533708

Format:

Availability

Online Library~1

Available:
Copies:

171.

Many-values logics

Author

Rosser, J. Barkley (John Barkley), 1907- Turquette, Atwell R. (Atwell Rufus), 1914-

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9780444533722

Format:

Availability

Online Library~1

Available:
Copies:

172.

Applications of Fuzzy Logic in Decision Making and Management Science

Author

Jana, Subrata. editor. Basu Mallik, Biswadip. editor. Sarkar, Anirban. editor. (orcid)0000-0002-4691-5631 Jana, Chiranjibe. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-77719-6

Format:

Availability

Online Library~1

Available:
Copies:

173.

Maths For Computing A Beginner's Guide

Author

Charatan, Quentin. author. Kans, Aaron. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-69234-5

Format:

Availability

Online Library~1

Available:
Copies:

174.

Logic in Computer Science

Author

Zhang, Hantao. author. Zhang, Jian. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-97-9816-2

Format:

Availability

Online Library~1

Available:
Copies:

175.

Advances in Mathematics for Engineering Sciences

Author

Ram, Mangey. editor. (orcid)0000-0002-8221-092X Kharola, Shristi. editor. Kumar, Akshay. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-95693-5

Format:

Availability

Online Library~1

Available:
Copies:

176.

Logic and Its Applications 11th Indian Conference, ICLA 2025, Kolkata, India, February 3-5, 2025, Proceedings

Author

Aiswarya, C. editor. (orcid)0000-0002-4878-7581 Sen, Prabal Kumar. editor. Srivastava, Shashi Mohan. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-89610-1

Format:

Availability

Online Library~1

Available:
Copies:

177.

Simple Type Theory A Practical Logic for Expressing and Reasoning About Mathematical Ideas

Author

Farmer, William M. author. (orcid)0009-0009-5524-9085 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-85352-4

Format:

Availability

Online Library~1

Available:
Copies:

178.

Cover image for Crossroads of Computability and Logic: Insights, Inspirations, and Innovations 21st Conference on Computability in Europe, CiE 2025, Lisbon, Portugal, July 14-18, 2025, Proceedings

Crossroads of Computability and Logic: Insights, Inspirations, and Innovations 21st Conference on Computability in Europe, CiE 2025, Lisbon, Portugal, July 14-18, 2025, Proceedings

Author

Beckmann, Arnold. editor. (orcid)0000-0001-7958-5790 Oitavem, Isabel. editor. (orcid)0000-0002-3573-9281 Manea, Florin. editor. (orcid)0000-0001-6094-3324 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-95908-0

Format:

Availability

Online Library~1

Available:
Copies:

179.

Cover image for Verification, Model Checking, and Abstract Interpretation 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025, Proceedings, Part I

Verification, Model Checking, and Abstract Interpretation 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025, Proceedings, Part I

Author

Shankaranarayanan, Krishna. editor. (orcid)0000-0003-0925-398X Sankaranarayanan, Sriram. editor. (orcid)0000-0001-7315-4340 Trivedi, Ashutosh. editor. (orcid)0000-0001-9346-0126 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-82700-6

Format:

Availability

Online Library~1

Available:
Copies:

180.

Verification, Model Checking, and Abstract Interpretation 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025, Proceedings, Part II

Author

Shankaranarayanan, Krishna. editor. (orcid)0000-0003-0925-398X Sankaranarayanan, Sriram. editor. (orcid)0000-0001-7315-4340 Trivedi, Ashutosh. editor. (orcid)0000-0001-9346-0126 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-82703-7

Format:

Availability

Online Library~1

Available:
Copies:

181.

Proceedings of Fourth International Conference on Engineering Mathematics and Computing ICEMC 2024

Author

Jana, Dipak Kumar. editor. Gyei-Kark, Park. editor. Panja, Prabir. editor. Dostal, Petr. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-96-4032-4

Format:

Availability

Online Library~1

Available:
Copies:

182.

INTUITIVE AXIOMATIC SET THEORY

Author

García, José Luis.

Preferred Shelf Number

QA248

Electronic Access

Taylor & Francis https://www.taylorfrancis.com/books/9781003449911
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Availability

Online Library~1

Available:
Copies:

183.

Parabolic problems : 60 years of mathematical puzzles in Parabola

Author

Angell, David (Mathematician), author. Britz, Thomas (Mathematician), author.

Preferred Shelf Number

QA95

Electronic Access

Taylor & Francis https://www.taylorfrancis.com/books/9781003396413
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Availability

Online Library~1

Available:
Copies:

184.

Mathematical puzzles

Author

Winkler, P. (Peter), 1946- author. Johnson, Jess (Comic book artist), illustrator.

Preferred Shelf Number

QA95

Electronic Access

Taylor & Francis https://www.taylorfrancis.com/books/9781032709659
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Availability

Online Library~1

Available:
Copies:

185.

Taking the "oof!" out of proofs

Author

Draganov, Alexandr, author.

Preferred Shelf Number

QA9.54

Electronic Access

Taylor & Francis https://www.taylorfrancis.com/books/9781003456766
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Availability

Online Library~1

Available:
Copies:

186.

Lateral solutions to mathematical problems

Author

MacHale, Des, author.

Preferred Shelf Number

QA8.4

Electronic Access

Taylor & Francis https://www.taylorfrancis.com/books/9781003341468
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Availability

Online Library~1

Available:
Copies:

187.

Formal Concept Analysis Mathematical Foundations

Author

Ganter, Bernhard. author. (orcid)0000-0003-0767-1379 Wille, Rudolf. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-63422-2

Format:

Availability

Online Library~1

Available:
Copies:

188.

From Computational Logic to Computational Biology Essays Dedicated to Alfredo Ferro to Celebrate His Scientific Career

Author

Cantone, Domenico. editor. (orcid)0000-0002-1306-1166 Pulvirenti, Alfredo. editor. (orcid)0000-0002-9764-0295 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-55248-9

Format:

Availability

Online Library~1

Available:
Copies:

189.

A First Course in Fuzzy Logic, Fuzzy Dynamical Systems, and Biomathematics Theory and Applications

Author

de Barros, Laécio Carvalho. author. Bassanezi, Rodney Carlos. author. Lodwick, Weldon A. author. (orcid)0000-0003-0606-5916 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-50492-1

Format:

Availability

Online Library~1

Available:
Copies:

190.

Foundations of Soft Logic

Author

Klein, Moshe. author. Maimon, Oded. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-58233-2

Format:

Availability

Online Library~1

Available:
Copies:

191.

Foundation Mathematics for Computer Science A Visual Approach

Author

Vince, John. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-66549-3

Format:

Availability

Online Library~1

Available:
Copies:

192.

Cover image for Verification, Model Checking, and Abstract Interpretation 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part I

Verification, Model Checking, and Abstract Interpretation 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part I

Author

Dimitrova, Rayna. editor. Lahav, Ori. editor. (orcid)0000-0003-4305-6998 Wolff, Sebastian. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-50524-9

Format:

Availability

Online Library~1

Available:
Copies:

193.

Computational Intelligence and Mathematics for Tackling Complex Problems 5

Author

Cornejo, M.Eugenia. editor. Kóczy, László T. editor. (orcid)0000-0003-1316-4832 Medina, Jesús. editor. (orcid)0000-0002-3931-5873 Ramírez-Poussa, Eloísa. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-46979-4

Format:

Availability

Online Library~1

Available:
Copies:

194.

Verification, Model Checking, and Abstract Interpretation 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part II

Author

Dimitrova, Rayna. editor. Lahav, Ori. editor. (orcid)0000-0003-4305-6998 Wolff, Sebastian. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-50521-8

Format:

Availability

Online Library~1

Available:
Copies:

195.

Developments in Language Theory 28th International Conference, DLT 2024, Göttingen, Germany, August 12-16, 2024, Proceedings

Author

Day, Joel D. editor. (orcid)0000-0002-3660-7766 Manea, Florin. editor. (orcid)0000-0001-6094-3324 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-66159-4

Format:

Availability

Online Library~1

Available:
Copies:

196.

Cover image for Foundations of Information and Knowledge Systems 13th International Symposium, FoIKS 2024, Sheffield, UK, April 8-11, 2024, Proceedings

Foundations of Information and Knowledge Systems 13th International Symposium, FoIKS 2024, Sheffield, UK, April 8-11, 2024, Proceedings

Author

Meier, Arne. editor. (orcid)0000-0002-8061-5376 Ortiz, Magdalena. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-56940-1

Format:

Availability

Online Library~1

Available:
Copies:

197.

Prolog: The Next 50 Years

Author

Warren, David S. editor. Dahl, Veronica. editor. Eiter, Thomas. editor. Hermenegildo, Manuel V. editor. Kowalski, Robert. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-35254-6

Format:

Availability

Online Library~1

Available:
Copies:

198.

Mathematics for Computer Scientists A Practice-Oriented Approach

Author

Hartmann, Peter. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-658-40423-9

Format:

Availability

Online Library~1

Available:
Copies:

199.

Innovative Technologies and Learning 6th International Conference, ICITL 2023, Porto, Portugal, August 28-30, 2023, Proceedings

Author

Huang, Yueh-Min. editor. (orcid) Rocha, Tânia. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-40113-8

Format:

Availability

Online Library~1

Available:
Copies:

200.

Logic and Its Applications 10th Indian Conference, ICLA 2023, Indore, India, March 3-5, 2023, Proceedings

Author

Banerjee, Mohua. editor. Sreejith, A. V. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-26689-8

Format:

Availability

Online Library~1

Available:
Copies:

201.

Handbook of Abductive Cognition

Author

Magnani, Lorenzo. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-10135-9

Format:

Availability

Online Library~1

Available:
Copies:

202.

Intelligent and Fuzzy Systems Intelligence and Sustainable Future Proceedings of the INFUS 2023 Conference, Volume 1

Author

Kahraman, Cengiz. editor. Sari, Irem Ucal. editor. Oztaysi, Basar. editor. Cebi, Selcuk. editor. Cevik Onar, Sezi. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-39774-5

Format:

Availability

Online Library~1

Available:
Copies:

203.

Foundation Mathematics for Computer Science A Visual Approach

Author

Vince, John. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-17411-7

Format:

Availability

Online Library~1

Available:
Copies:

204.

Mathematical Foundations of Software Engineering A Practical Guide to Essentials

Author

O'Regan, Gerard. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-26212-8

Format:

Availability

Online Library~1

Available:
Copies:

205.

Mathematical foundations of fuzzy sets

Author

Wu, Hsien-Chung, author.

Preferred Shelf Number

QA248 .W82 2023

Electronic Access

https://onlinelibrary.wiley.com/doi/book/10.1002/9781119981558

Format:

Availability

Online Library~1

Available:
Copies:

206.

Logic for kids : all aboard the Therefore Train!

Author

Cusmariu, Arnold, author.

Preferred Shelf Number

BC108

Electronic Access

Taylor & Francis https://www.taylorfrancis.com/books/9781003359289
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Availability

Online Library~1

Available:
Copies:

207.

The baseball mysteries : challenging puzzles for logical detectives

Author

Butters, Jerry, author. Henle, James M., author.

Preferred Shelf Number

QA95

Electronic Access

Taylor & Francis https://www.taylorfrancis.com/books/9781003332602
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Availability

Online Library~1

Available:
Copies:

208.

Mathematics in computational science and engineering

Author

Bhardwaj, Ramakant, editor.

Preferred Shelf Number

QA76.9 .M35

Electronic Access

https://onlinelibrary.wiley.com/doi/book/10.1002/9781119777557

Format:

Availability

Online Library~1

Available:
Copies:

209.

Transition to advanced mathematics

Author

Diedrichs, Danilo R., author. Lovett, Stephen (Stephen T.), author.

Preferred Shelf Number

QA11.2 .D535 2022

Electronic Access

Taylor & Francis https://www.taylorfrancis.com/books/9781003046202
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Availability

Online Library~1

Available:
Copies:

210.

Proofs 101 : an introduction to formal mathematics

Author

Kirtland, Joseph (Mathematics professor), author.

Preferred Shelf Number

QA9.54

Electronic Access

Taylor & Francis https://www.taylorfrancis.com/books/9781003082927
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Availability

Online Library~1

Available:
Copies:

211.

Introduction to fuzzy logic

Author

Peckol, James K., author. John Wiley & Sons, publisher.

Preferred Shelf Number

QA9.64 .P43 2021

Electronic Access

https://onlinelibrary.wiley.com/doi/book/10.1002/9781119772644

Format:

Availability

Online Library~1

Available:
Copies:

212.

Digital system design using FSMs : a practical learning approach

Author

Minns, Peter D., author.

Preferred Shelf Number

QA267.5 .S4 M56 2021

Electronic Access

https://onlinelibrary.wiley.com/doi/book/10.1002/9781119782735

Format:

Availability

Online Library~1

Available:
Copies:

213.

Advanced mathematics : a transitional reference

Author

Farlow, Stanley J., 1937- author.

Preferred Shelf Number

QA37.3

Electronic Access

https://onlinelibrary.wiley.com/doi/book/10.1002/9781119563549

Format:

Availability

Online Library~1

Available:
Copies:

214.

The Electrical Engineering Handbook - Six Volume Set

Author

Dorf, Richard C., editor. Taylor and Francis.

Preferred Shelf Number

R857 .B54

Electronic Access

Click here to view.

Format:

Availability

Online Library~1

Available:
Copies:

215.

Practically Speaking : A Dictionary of Quotations on Engineering, Technology and Architecture.

Author

Gaither, Carl C., 1944- author.

Preferred Shelf Number

TA9

Electronic Access

Taylor & Francis https://www.taylorfrancis.com/books/9780429187155
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Availability

Online Library~1

Available:
Copies:

216.

Cover image for Recent progress in computational sciences and engineering lectures presented at the International Conference of Computational Methods in Sciences and Engineering 2006 (ICCMSE 2006), Chania, Crete, Greece

Recent progress in computational sciences and engineering lectures presented at the International Conference of Computational Methods in Sciences and Engineering 2006 (ICCMSE 2006), Chania, Crete, Greece

Author

International Conference of Computational Methods in Sciences and Engineering (2006 : Chania, Greece) Simos, T. E. Maroulis, George.

Preferred Shelf Number

Q183.9 .I524 2006 EB

Electronic Access

Taylor & Francis https://www.taylorfrancis.com/books/9780429070655
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Availability

Online Library~1

Available:
Copies:

217.

A companion to Wittgenstein

Author

Glock, Hans-Johann, 1960- editor. Hyman, John, editor.

Preferred Shelf Number

B3376 .W564 C633 2017 EB

Electronic Access

https://onlinelibrary.wiley.com/doi/book/10.1002/9781118884607

Format:

Availability

Online Library~1

Available:
Copies:

218.

An introduction to proof through real analysis

Author

Madden, Daniel J., 1948- author. Aubrey, Jason A., 1975- author.

Preferred Shelf Number

QA9.54 .M335 2017

Electronic Access

https://onlinelibrary.wiley.com/doi/book/10.1002/9781119314769

Format:

Availability

Online Library~1

Available:
Copies:

219.

Formal Concept Analysis 14th International Conference, ICFCA 2017, Rennes, France, June 13-16, 2017, Proceedings

Author

Bertet, Karell. editor. Borchmann, Daniel. editor. Cellier, Peggy. editor. (orcid)0000-0002-1495-2534 Ferré, Sébastien. editor. (orcid)0000-0002-6302-2333 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-59271-8

Format:

Availability

Online Library~1

Available:
Copies:

220.

On Sets and Graphs Perspectives on Logic and Combinatorics

Author

Omodeo, Eugenio G. author. Policriti, Alberto. author. Tomescu, Alexandru I. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-54981-1

Format:

Availability

Online Library~1

Available:
Copies:

221.

Concise Guide to Formal Methods Theory, Fundamentals and Industry Applications

Author

O'Regan, Gerard. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-64021-1

Format:

Availability

Online Library~1

Available:
Copies:

222.

A First Course in Fuzzy Logic, Fuzzy Dynamical Systems, and Biomathematics Theory and Applications

Author

de Barros, Laécio Carvalho. author. Bassanezi, Rodney Carlos. author. Lodwick, Weldon Alexander. author. (orcid)0000-0003-0606-5916 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-662-53324-6

Format:

Availability

Online Library~1

Available:
Copies:

223.

The Incomputable Journeys Beyond the Turing Barrier

Author

Cooper, S. Barry. editor. Soskova, Mariya I. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-43669-2

Format:

Availability

Online Library~1

Available:
Copies:

224.

Logic and Its Applications 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings

Author

Ghosh, Sujata. editor. Prasad, Sanjiva. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-662-54069-5

Format:

Availability

Online Library~1

Available:
Copies:

225.

Applied Logic for Computer Scientists Computational Deduction and Formal Proofs

Author

Ayala-Rincón, Mauricio. author. de Moura, Flávio L. C. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-51653-0

Format:

Availability

Online Library~1

Available:
Copies:

226.

Applied univariate, bivariate, and multivariate statistics

Author

Denis, Daniel J., 1974-

Preferred Shelf Number

QA279

Electronic Access

https://onlinelibrary.wiley.com/doi/book/10.1002/9781119583004

Format:

Availability

Online Library~1

Available:
Copies:

227.

Mathematics for dyslexics and dyscalculics : a teaching handbook

Author

Chinn, Stephen J. Ashcroft, Richard E.

Preferred Shelf Number

QA11.2 .C47 2016 EB

Electronic Access

https://onlinelibrary.wiley.com/doi/book/10.1002/9781119159995

Format:

Availability

Online Library~1

Available:
Copies:

228.

Descriptive Set Theoretic Methods in Automata Theory Decidability and Topological Complexity

Author

Skrzypczak, Michał. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-662-52947-8

Format:

Availability

Online Library~1

Available:
Copies:

229.

Cover image for Logical Foundations of Computer Science International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings

Logical Foundations of Computer Science International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings

Author

Artemov, Sergei. editor. Nerode, Anil. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-27683-0

Format:

Availability

Online Library~1

Available:
Copies:

230.

Turing Computability Theory and Applications

Author

Soare, Robert I. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-642-31933-4

Format:

Availability

Online Library~1

Available:
Copies:

231.

Finitely Supported Mathematics An Introduction

Author

Alexandru, Andrei. author. Ciobanu, Gabriel. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-42282-4

Format:

Availability

Online Library~1

Available:
Copies:

232.

Relaxed Abduction Robust Information Interpretation for Industrial Applications

Author

Hubauer, Thomas. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-658-14407-4

Format:

Availability

Online Library~1

Available:
Copies:

233.

Subjective Logic A Formalism for Reasoning Under Uncertainty

Author

Jøsang, Audun. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-42337-1

Format:

Availability

Online Library~1

Available:
Copies:

234.

Automated Reasoning 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 - July 2, 2016, Proceedings

Author

Olivetti, Nicola. editor. Tiwari, Ashish. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-40229-1

Format:

Availability

Online Library~1

Available:
Copies:

235.

Computer Vision in Control Systems-1 Mathematical Theory

Author

Favorskaya, Margarita N. editor. Jain, Lakhmi C. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-10653-3

Format:

Availability

Online Library~1

Available:
Copies:

236.

Cover image for Logic, Language, Information, and Computation 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings

Logic, Language, Information, and Computation 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings

Author

de Paiva, Valeria. editor. de Queiroz, Ruy. editor. Moss, Lawrence S. editor. Leivant, Daniel. editor. de Oliveira, Anjolina G. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-662-47709-0

Format:

Availability

Online Library~1

Available:
Copies:

237.

Foundation Mathematics for Computer Science A Visual Approach

Author

Vince, John. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-21437-5

Format:

Availability

Online Library~1

Available:
Copies:

238.

Automata, Universality, Computation Tribute to Maurice Margenstern

Author

Adamatzky, Andrew. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-09039-9

Format:

Availability

Online Library~1

Available:
Copies:

239.

Enric Trillas: A Passion for Fuzzy Sets A Collection of Recent Works on Fuzzy Logic

Author

Magdalena, Luis. editor. Verdegay, Jose Luis. editor. Esteva, Francesc. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-16235-5

Format:

Availability

Online Library~1

Available:
Copies:

240.

Towards the Future of Fuzzy Logic

Author

Seising, Rudolf. editor. Trillas, Enric. editor. Kacprzyk, Janusz. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-18750-1

Format:

Availability

Online Library~1

Available:
Copies:

241.

Introduction to mathematical logic

Author

Mendelson, Elliott.

Preferred Shelf Number

QA9 M4 2015

Format:

Availability

Beytepe Library~1

Available:
Copies:

242.

Kurt Gödel and the Foundations of Mathematics Horizons of Truth

Author

Baaz, Matthias. Papadimitriou, Christos H.. Putnam, Hilary W.. Scott, Dana S.. Harper, Jr, Charles L..

Preferred Shelf Number

ONLINE

Electronic Access

Access by subscription

Format:

Availability

Online Library~1

Available:
Copies:

243.

Introduction to mathematical proofs

Author

Roberts, Charles, author. Taylor and Francis.

Preferred Shelf Number

QA9.54

Electronic Access

Click here to view.

Format:

Availability

Online Library~1

Available:
Copies:

244.

Commonsense reasoning an event calculus-based approach

Author

Mueller, Erik T., author.

Preferred Shelf Number

ONLINE(355437.1)

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9780128014165

Format:

Availability

Online Library~1

Available:
Copies:

245.

Formal logic, or, The calculus of inference, necessary and probable

Author

De Morgan, Augustus, 1806-1871, author.

Preferred Shelf Number

BC135 D4 2014

Format:

Availability

Beytepe Library~1

Available:
Copies:

246.

Visual Reasoning with Diagrams

Author

Moktefi, Amirouche. editor. Shin, Sun-Joo. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(332637.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-0348-0600-8

Format:

Availability

Online Library~1

Available:
Copies:

247.

Towards a General Theory of Classifications

Author

Parrochia, Daniel. author. Neuville, Pierre. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(332639.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-0348-0609-1

Format:

Availability

Online Library~1

Available:
Copies:

248.

The Mathematics of Coordinated Inference A Study of Generalized Hat Problems

Author

Hardin, Christopher S. author. Taylor, Alan D. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(332859.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-319-01333-6

Format:

Availability

Online Library~1

Available:
Copies:

249.

The Real Numbers An Introduction to Set Theory and Analysis

Author

Stillwell, John. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(332876.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-319-01577-4

Format:

Availability

Online Library~1

Available:
Copies:

250.

Stochastic Calculus with Infinitesimals

Author

Herzberg, Frederik. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(333673.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-33149-7

Format:

Availability

Online Library~1

Available:
Copies:

251.

The Argument of Mathematics

Author

Aberdein, Andrew. editor. Dove, Ian J. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(336263.1)

Electronic Access

http://dx.doi.org/10.1007/978-94-007-6534-4

Format:

Availability

Online Library~1

Available:
Copies:

252.

Die Gödel’schen Unvollständigkeitssätze Eine geführte Reise durch Kurt Gödels historischen Beweis

Author

Hoffmann, Dirk W. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(338283.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-8274-3000-7

Format:

Availability

Online Library~1

Available:
Copies:

253.

Logic and Structure

Author

Dalen, Dirk. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(331010.1)

Electronic Access

http://dx.doi.org/10.1007/978-1-4471-4558-5

Format:

Availability

Online Library~1

Available:
Copies:

254.

L.E.J. Brouwer – Topologist, Intuitionist, Philosopher How Mathematics Is Rooted in Life

Author

Dalen, Dirk. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(331026.1)

Electronic Access

http://dx.doi.org/10.1007/978-1-4471-4616-2

Format:

Availability

Online Library~1

Available:
Copies:

255.

An Invitation to Abstract Mathematics

Author

Bajnok, Béla. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(332077.1)

Electronic Access

http://dx.doi.org/10.1007/978-1-4614-6636-9

Format:

Availability

Online Library~1

Available:
Copies:

256.

An den Grenzen des Endlichen Das Hilbertprogramm im Kontext von Formalismus und Finitismus

Author

Tapp, Christian. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(336968.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-29654-3

Format:

Availability

Online Library~1

Available:
Copies:

257.

Discrete mathematics and its applications

Author

Rosen, Kenneth H. Krithivasan, Kamala.

Preferred Shelf Number

QA39.3 R674 2013

Format:

Availability

Beytepe Library~2

Available:
Copies:

258.

A Logical Introduction to Proof

Author

Cunningham, Daniel W. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(331358.1)

Electronic Access

http://dx.doi.org/10.1007/978-1-4614-3631-7

Format:

Availability

Online Library~1

Available:
Copies:

259.

David Hilbert's Lectures on the Foundations of Arithmetic and Logic 1917-1933

Author

Ewald, William. editor. Sieg, Wilfried. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(336850.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-540-69444-1

Format:

Availability

Online Library~1

Available:
Copies:

260.

Logic : the laws of truth

Author

Smith, Nicholas J. J. (Nicholas Jeremy Josef), 1972-

Preferred Shelf Number

ONLINE

Electronic Access

http://www.jstor.org/stable/10.2307/j.ctt7sr96

Format:

Availability

Online Library~1

Available:
Copies:

261.

The logician and the engineer : how George Boole and Claude Shannon created the information age

Author

Nahin, Paul J.

Preferred Shelf Number

ONLINE

Electronic Access

http://www.jstor.org/stable/10.2307/j.cttq957s

Format:

Availability

Online Library~1

Available:
Copies:

262.

Godel's way : exploits into an undecidable world

Author

Chaitin, Gregory J., author. Doria, Francisco Antonio. Costa, Newton C. A. da.

Preferred Shelf Number

QA9.65 .C428 2012

Electronic Access

Click here to view.

Format:

Availability

Online Library~1

Available:
Copies:

263.

Combinatorial Set Theory With a Gentle Introduction to Forcing

Author

Halbeisen, Lorenz J. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-4471-2173-2

Format:

Availability

Online Library~1

Available:
Copies:

264.

Excursions in the History of Mathematics

Author

Kleiner, Israel. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-0-8176-8268-2

Format:

Availability

Online Library~1

Available:
Copies:

265.

Around and Beyond the Square of Opposition

Author

Béziau, Jean-Yves. editor. Jacquette, Dale. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-0348-0379-3

Format:

Availability

Online Library~1

Available:
Copies:

266.

Non solo calcoli Domande e risposte sui perché della matematica

Author

Villani, Vinicio. author. Bernardi, Claudio. author. Zoccante, Sergio. author. Porcaro, Roberto. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-88-470-2610-0

Format:

Availability

Online Library~1

Available:
Copies:

267.

Un mondo di idee La matematica ovunque

Author

Ciliberto, Ciro. editor. Lucchetti, Roberto. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-88-470-1744-3

Format:

Availability

Online Library~1

Available:
Copies:

268.

Foundational Theories of Classical and Constructive Mathematics

Author

Sommaruga, Giovanni. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-94-007-0431-2

Format:

Availability

Online Library~1

Available:
Copies:

269.

The Oxford handbook of Wittgenstein

Author

Kuusela, Oskari. McGinn, Marie.

Preferred Shelf Number

B3376.W564 O95 2011

Format:

Availability

Beytepe Library~1

Available:
Copies:

270.

Mathematical aspects of logic programming semantics

Author

Hitzler, Pascal., author. Seda, Anthony.

Preferred Shelf Number

QA76.63 .H58 2011

Electronic Access

Click here to view.

Format:

Availability

Online Library~1

Available:
Copies:

271.

Reading, Writing, and Proving A Closer Look at Mathematics

Author

Daepp, Ulrich. author. Gorkin, Pamela. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-4419-9479-0

Format:

Availability

Online Library~1

Available:
Copies:

272.

Model Theory and Applications

Author

Mangani, P. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-11121-1

Format:

Availability

Online Library~1

Available:
Copies:

273.

Recursion Theory and Computational Complexity

Author

Lolli, G. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-11072-6

Format:

Availability

Online Library~1

Available:
Copies:

274.

Aspects of Mathematical Logic

Author

Casari, E. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-11080-1

Format:

Availability

Online Library~1

Available:
Copies:

275.

The Selected Correspondence of L.E.J. Brouwer

Author

Dalen, Dirk. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-0-85729-537-8

Format:

Availability

Online Library~1

Available:
Copies:

276.

Hyperfinite Dirichlet Forms and Stochastic Processes

Author

Albeverio, Sergio. author. Fan, Ruzong. author. Herzberg, Frederik. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-19659-1

Format:

Availability

Online Library~1

Available:
Copies:

277.

Apartness and Uniformity A Constructive Development

Author

Bridges, Douglas S. author. Vîţă, Luminiţa Simona. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-22415-7

Format:

Availability

Online Library~1

Available:
Copies:

278.

Logical Dynamics of Information and Interaction

Author

van Benthem, Johan.

Preferred Shelf Number

ONLINE

Electronic Access

Access by subscription

Format:

Availability

Online Library~1

Available:
Copies:

279.

Motivic Integration and its Interactions with Model Theory and Non-Archimedean Geometry Volume 1.

Author

Cluckers, Raf. Nicaise, Johannes. Sebag, Julien.

Preferred Shelf Number

ONLINE

Electronic Access

Access by subscription

Format:

Availability

Online Library~1

Available:
Copies:

280.

Set Theory, Arithmetic, and Foundations of Mathematics Theorems, Philosophies

Author

Kennedy, Juliette. Kossak, Roman.

Preferred Shelf Number

ONLINE

Electronic Access

Access by subscription

Format:

Availability

Online Library~1

Available:
Copies:

281.

Deep Beauty Understanding the Quantum World through Mathematical Innovation

Author

Halvorson, Hans.

Preferred Shelf Number

ONLINE

Electronic Access

Access by subscription

Format:

Availability

Online Library~1

Available:
Copies:

282.

Dual Tableaux: Foundations, Methodology, Case Studies

Author

Orlowska, Ewa. author. Golińska Pilarek, Joanna. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-94-007-0005-5

Format:

Availability

Online Library~1

Available:
Copies:

283.

Games, Norms and Reasons Logic at the Crossroads

Author

van Benthem, Johan. editor. Gupta, Amitabha. editor. Pacuit, Eric. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-94-007-0714-6

Format:

Availability

Online Library~1

Available:
Copies:

284.

Advanced Łukasiewicz calculus and MV-algebras

Author

Mundici, D. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-94-007-0840-2

Format:

Availability

Online Library~1

Available:
Copies:

285.

Proof Analysis A Contribution to Hilbert's Last Problem

Author

Negri, Sara. von Plato, Jan.

Preferred Shelf Number

ONLINE

Electronic Access

Access by subscription

Format:

Availability

Online Library~1

Available:
Copies:

286.

Einführung in die Mengenlehre Die Mengenlehre Georg Cantors und ihre Axiomatisierung durch Ernst Zermelo

Author

Deiser, Oliver. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-01445-1

Format:

Availability

Online Library~1

Available:
Copies:

287.

Handbook of Set Theory

Author

Foreman, Matthew. editor. Kanamori, Akihiro. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-4020-5764-9

Format:

Availability

Online Library~1

Available:
Copies:

288.

Mathematische Logik

Author

Ziegler, Martin. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-0346-0652-3

Format:

Availability

Online Library~1

Available:
Copies:

289.

A Course in Mathematical Logic for Mathematicians

Author

Manin, Yu. I. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-4419-0615-1

Format:

Availability

Online Library~1

Available:
Copies:

290.

Discrete structures, logic, and computability

Author

Hein, James L.

Preferred Shelf Number

QA76.9.M35 H44 2010

Format:

Availability

Beytepe Library~1

Available:
Copies:

291.

Logische Grundlagen der Mathematik

Author

Schindler, Ralf. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-95932-8

Format:

Availability

Online Library~1

Available:
Copies:

292.

Games: Unifying Logic, Language, and Philosophy

Author

Majer, Ondrej. editor. Pietarinen, Ahti-Veikko. editor. Tulenheimo, Tero. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-4020-9374-6

Format:

Availability

Online Library~1

Available:
Copies:

293.

Proof Theory for Fuzzy Logics

Author

Metcalfe, George. author. Olivetti, Nicola. author. Gabbay, Dov. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-4020-9409-5

Format:

Availability

Online Library~1

Available:
Copies:

294.

Towards Mathematical Philosophy Papers from the Studia Logica conference Trends in Logic IV

Author

Makinson, David. editor. Malinowski, Jacek. editor. Wansing, Heinrich. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-4020-9084-4

Format:

Availability

Online Library~1

Available:
Copies:

295.

Proof Theory The First Step into Impredicativity

Author

Pohlers, Wolfram. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-69319-2

Format:

Availability

Online Library~1

Available:
Copies:

296.

Teaching and learning proof across the grades a K-16 perspective

Author

Stylianou, Despina A. Blanton, Maria L. Knuth, Eric J. National Council of Teachers of Mathematics.

Preferred Shelf Number

ONLINE

Electronic Access

Click here to view

Format:

Availability

Online Library~1

Available:
Copies:

297.

Completeness Theory for Propositional Logics

Author

Pogorzelski, Witold A. author. Wojtylak, Piotr. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-7643-8518-7

Format:

Availability

Online Library~1

Available:
Copies:

298.

Institution-independent Model Theory

Author

Diaconescu, Răzvan. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-7643-8708-2

Format:

Availability

Online Library~1

Available:
Copies:

299.

Analysis and Synthesis of Logics How to Cut and Paste Reasoning Systems

Author

Carnielli, Walter. author. Coniglio, Marcelo. author. Gabbay, Dov M. author. Gouveia, Paula. author. Sernadas, Cristina. author.

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-4020-6782-2

Format:

Availability

Online Library~1

Available:
Copies:

300.

Reelle Zahlen Das klassische Kontinuum und die natürlichen Folgen

Author

Deiser, Oliver. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-79376-2

Format:

Availability

Online Library~1

Available:
Copies:

	{displayName}	{count}
{error}