Arama Sonuçları - Daraltılmış: Elsevier E-Kitap Koleksiyonu - MATHEMATICS -- Logic.

The many valued and non-monotonic turn in logic

2024-05-28T13:46:47Z

by Gabbay, Dov M., 1945-
ScienceDirect http://www.sciencedirect.com/science/book/9780444516237 ScienceDirect http://www.sciencedirect.com/science/publication?issn=18745857&volume=8
Format: Elektronik Kaynak

Residuated lattices : an algebraic glimpse at substructural logics

2024-05-28T13:46:47Z

by Galatos, Nikolaos.
ScienceDirect https://www.sciencedirect.com/science/book/9780444521415 ScienceDirect https://www.sciencedirect.com/science/publication?issn=0049237X&volume=151 ScienceDirect https://www.sciencedirect.com/science/bookseries/0049237X/151
Format: Elektronik Kaynak

The nuts and bolts of proofs

2024-05-28T13:46:47Z

by Cupillari, Antonella.
ScienceDirect https://www.sciencedirect.com/science/book/9780120885091
Format: Elektronik Kaynak

Handbook of the logic of argument and inference : the turn towards the practical

2024-05-28T13:46:47Z

by Gabbay, Dov M., 1945-
ScienceDirect http://www.sciencedirect.com/science/book/9780444506504 ScienceDirect http://www.sciencedirect.com/science/publication?issn=15702464&volume=1
Format: Elektronik Kaynak

Relation algebras by games

2024-05-28T13:46:47Z

by Hirsch, R. (Robin)
ScienceDirect http://www.sciencedirect.com/science/book/9780444509321 ScienceDirect http://www.sciencedirect.com/science/publication?issn=0049237X&volume=147
Format: Elektronik Kaynak

A mathematical introduction to logic

2024-05-28T13:46:47Z

by Enderton, Herbert B.
ScienceDirect http://www.sciencedirect.com/science/book/9780122384523
Format: Elektronik Kaynak

Handbook of process algebra

2024-05-28T13:46:47Z

by Bergstra, J. A.
ScienceDirect https://www.sciencedirect.com/science/book/9780444828309
Format: Elektronik Kaynak

Mathematical logic

2024-05-28T13:46:47Z

by Turing, Alan, 1912-1954.
ScienceDirect https://www.sciencedirect.com/science/book/9780444504234
Format: Elektronik Kaynak

Computable structures and the hyperarithmetical hierarchy

2024-05-28T13:46:47Z

by Ash, C. J.
ScienceDirect https://www.sciencedirect.com/science/book/9780444500724 ScienceDirect https://www.sciencedirect.com/science/publication?issn=0049237X&volume=144 ScienceDirect https://www.sciencedirect.com/science/bookseries/0049237X/144
Format: Elektronik Kaynak

Cafe : an industrial-strength algebraic formal method

2024-05-28T13:46:47Z

by Futatsugi, Kokichi.
ScienceDirect https://www.sciencedirect.com/science/book/9780444505569
Format: Elektronik Kaynak

Quantum theoretic machines : what is thought from the point of view of physics

2024-05-28T13:46:47Z

by Stern, August, 1945-
ScienceDirect http://www.sciencedirect.com/science/book/9780444826183
Format: Elektronik Kaynak

From Peirce to Skolem : a neglected chapter in the history of logic

2024-05-28T13:46:47Z

by Brady, Geraldine.
ScienceDirect http://www.sciencedirect.com/science/book/9780444503343 ScienceDirect http://www.sciencedirect.com/science/publication?issn=09282017&volume=4 ScienceDirect http://www.sciencedirect.com/science/bookseries/09282017/4
Format: Elektronik Kaynak

Handbook of computability theory

2024-05-28T13:46:47Z

by Griffor, Edward R.
ScienceDirect http://www.sciencedirect.com/science/book/9780444898821 ScienceDirect http://www.sciencedirect.com/science/publication?issn=0049237X&volume=140 ScienceDirect http://www.sciencedirect.com/science/bookseries/0049237X/140
Format: Elektronik Kaynak

Handbook of proof theory

2024-05-28T13:46:47Z

by Buss, Samuel R.
to access electronic resource via ScienceDirect ScienceDirect http://www.sciencedirect.com/science/book/9780444898401 ScienceDirect http://www.sciencedirect.com/science/publication?issn=0049237X&volume=137
Format: Elektronik Kaynak

Admissibility of logical inference rules

2024-05-28T13:46:47Z

by Rybakov, Vladimir V. (Vladimir Vladimir), 1961-
ScienceDirect https://www.sciencedirect.com/science/book/9780444895059 ScienceDirect https://www.sciencedirect.com/science/publication?issn=0049237X&volume=136 ScienceDirect https://www.sciencedirect.com/science/bookseries/0049237X/136
Format: Elektronik Kaynak

Logical frameworks for truth and abstraction : an axiomatic study

2024-05-28T13:46:47Z

by Cantini, Andrea.
ScienceDirect http://www.sciencedirect.com/science/book/9780444823069 ScienceDirect http://www.sciencedirect.com/science/publication?issn=0049237X&volume=135 ScienceDirect http://www.sciencedirect.com/science/bookseries/0049237X/135
Format: Elektronik Kaynak

Selected papers on Automath

2024-05-28T13:46:47Z

by Nederpelt, R. P. (Rob P.)
ScienceDirect http://www.sciencedirect.com/science/book/9780444898227 ScienceDirect http://www.sciencedirect.com/science/publication?issn=0049237X&volume=133
Format: Elektronik Kaynak

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

2024-05-28T13:46:47Z

by Odifreddi, Piergiorgio, 1950-
ScienceDirect http://www.sciencedirect.com/science/book/9780444894830 ScienceDirect http://www.sciencedirect.com/science/publication?issn=0049237X&volume=125
Format: Elektronik Kaynak

Algebraic and structural automata theory

2024-05-28T13:46:47Z

by Mikołajczak, Bolesław.
ScienceDirect http://www.sciencedirect.com/science/book/9780444874580 ScienceDirect http://www.sciencedirect.com/science/publication?issn=01675060&volume=44
Format: Elektronik Kaynak

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

2024-05-28T13:46:47Z

by Logic Colloquium (1988 : Padova, Italy)
ScienceDirect http://www.sciencedirect.com/science/book/9780444874559 ScienceDirect http://www.sciencedirect.com/science/publication?issn=0049237X&volume=127
Format: Elektronik Kaynak

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

2024-05-28T13:46:47Z

by Logic Colloquium (1987 : Granada, Spain)
Available from ScienceDirect. Online version available for university members only. This requires an institutional login off-campus. ScienceDirect http://www.sciencedirect.com/science/book/9780444880222 ScienceDirect http://www.sciencedirect.com/science/publication?issn=0049237X&volume=129 ScienceDirect https://www.sciencedirect.com/science/book/9780444880222
Format: Elektronik Kaynak

Computability, complexity, logic

2024-05-28T13:46:47Z

by Börger, E. (Egon), 1946-
ScienceDirect http://www.sciencedirect.com/science/book/9780444874061 ScienceDirect http://www.sciencedirect.com/science/publication?issn=0049237X&volume=128
Format: Elektronik Kaynak

Constructivism in mathematics : an introduction. Volume 1

2024-05-28T13:46:47Z

by Troelstra, A. S. (Anne Sjerp)
ScienceDirect http://www.sciencedirect.com/science/book/9780444702661
Format: Elektronik Kaynak

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

2024-05-28T13:46:47Z

by Hailperin, Theodore.
Available from ScienceDirect. Online version available for university members only. This requires an institutional login off-campus. ScienceDirect http://www.sciencedirect.com/science/book/9780444879523 ScienceDirect http://www.sciencedirect.com/science/publication?issn=0049237X&volume=85 ScienceDirect http://www.sciencedirect.com/science/bookseries/0049237X/85 ScienceDirect https://www.sciencedirect.com/science/book/9780444879523
Format: Elektronik Kaynak

Harvey Friedman's research on the foundations of mathematics

2024-05-28T13:46:47Z

by Friedman, Harvey, 1948-
Available from ScienceDirect. Online version available for university members only. This requires an institutional login off-campus. ScienceDirect http://www.sciencedirect.com/science/book/9780444878342 ScienceDirect http://www.sciencedirect.com/science/publication?issn=0049237X&volume=117 ScienceDirect http://www.sciencedirect.com/science/bookseries/0049237X/117 ScienceDirect https://www.sciencedirect.com/science/book/9780444878342
Format: Elektronik Kaynak

Orders--description and roles : in set theory, lattices, ordered groups, topology, theory of models and relations, combinatorics, effectiveness, social sciences : proceedings of the Conference on Ordered Sets and Their Applications, Château de la Tourette, l'Arbresle, July 5-11, 1982 = Ordres--description et rôles : en théorie des ensembles, des treillis, des groupes ordonnés en topologie, théorie des modèles et des relations, combinatoire, effectivité, sciences sociales : actes de la Conférence sur les ensembles ordonnés et leur applications, Château de la tourette, l'Arbresle, juillet 5-11, 1982

2024-05-28T13:46:47Z

by Conference on Ordered Sets and Their Applications (4th : 1982 : L'Arbresle, France)
ScienceDirect http://www.sciencedirect.com/science/book/9780444876010 ScienceDirect http://www.sciencedirect.com/science/publication?issn=03040208&volume=99
Format: Elektronik Kaynak

The lambda calculus : its syntax and semantics

2024-05-28T13:46:47Z

by Barendregt, H. P. (Hendrik Pieter)
ScienceDirect http://www.sciencedirect.com/science/book/9780444875082 ScienceDirect http://www.sciencedirect.com/science/bookseries/0049237X/103
Format: Elektronik Kaynak

Fundamentals of generalized recursion theory

2024-05-28T13:46:47Z

by Fitting, Melvin, 1942-
ScienceDirect http://www.sciencedirect.com/science/book/9780444861719 ScienceDirect http://www.sciencedirect.com/science/publication?issn=0049237X&volume=105
Format: Elektronik Kaynak

Fuzzy sets and systems : theory and applications

2024-05-28T13:46:47Z

by Dubois, Didier.
ScienceDirect https://www.sciencedirect.com/science/book/9780122227509 ScienceDirect https://www.sciencedirect.com/science/publication?issn=00765392&volume=144 ScienceDirect https://www.sciencedirect.com/science/bookseries/00765392/144
Format: Elektronik Kaynak

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

2024-05-28T13:46:47Z

by Latin-American Symposium on Mathematical Logic (4th : 1978 : Santiago de Chile)
ScienceDirect http://www.sciencedirect.com/science/book/9780444854025
Format: Elektronik Kaynak

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

2024-05-28T13:46:47Z

by Logic Colloquium (1978 : Mons, Belgium)
ScienceDirect http://www.sciencedirect.com/science/book/9780444853783 ScienceDirect http://www.sciencedirect.com/science/bookseries/0049237X/97
Format: Elektronik Kaynak

Foundational studies : selected works. Volume I

2024-05-28T13:46:47Z

by Mostowski, Andrzej.
ScienceDirect https://www.sciencedirect.com/science/book/9780444851024 ScienceDirect https://www.sciencedirect.com/science/bookseries/0049237X/93/part/PA ScienceDirect https://www.sciencedirect.com/science/issue/42455-1979-999069999.7998-933073
Format: Elektronik Kaynak

Set theory

2024-05-28T13:46:47Z

by Jech, Thomas J.
ScienceDirect http://www.sciencedirect.com/science/book/9780123819505 ScienceDirect http://www.sciencedirect.com/science/book/9780444534170 ScienceDirect http://www.sciencedirect.com/science/publication?issn=00798169&volume=79
Format: Elektronik Kaynak

General lattice theory

2024-05-28T13:46:47Z

by Gratzer, George A.
ScienceDirect http://www.sciencedirect.com/science/book/9780122957505
Format: Elektronik Kaynak

Generalized recursion theory II : proceedings of the 1977 Oslo Symposium

2024-05-28T13:46:47Z

by Symposium on Generalized Recursion Theory (2nd : 1977 : University of Oslo)
ScienceDirect http://www.sciencedirect.com/science/book/9780444851635
Format: Elektronik Kaynak

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

2024-05-28T13:46:47Z

by Logic Colloquium (1977 : Wrocław, Poland)
ScienceDirect http://www.sciencedirect.com/science/book/9780444851789 ScienceDirect http://www.sciencedirect.com/science/bookseries/0049237X/96
Format: Elektronik Kaynak

Algebra of proofs

2024-05-28T13:46:47Z

by Szabo, M. E.
ScienceDirect https://www.sciencedirect.com/science/book/9780720422863 ScienceDirect https://www.sciencedirect.com/science/bookseries/0049237X/88
Format: Elektronik Kaynak

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

2024-05-28T13:46:47Z

by Logic Colloquium (1976 : Oxford)
ScienceDirect http://www.sciencedirect.com/science/book/9780720406917
Format: Elektronik Kaynak

Combinatorial set theory

2024-05-28T13:46:47Z

by Williams, Neil H.
ScienceDirect http://www.sciencedirect.com/science/book/9780720407228 ScienceDirect http://www.sciencedirect.com/science/bookseries/0049237X/91
Format: Elektronik Kaynak

Handbook of mathematical logic

2024-05-28T13:46:47Z

by Barwise, Jon.
ScienceDirect https://www.sciencedirect.com/science/book/9780444863881 ScienceDirect https://www.sciencedirect.com/science/bookseries/0049237X/90 ScienceDirect https://www.sciencedirect.com/science/publication?issn=0049237X&volume=90 http://www.sciencedirect.com/science/book/9780444863881
Format: Elektronik Kaynak

Sets and classes : on the work by Paul Bernays

2024-05-28T13:46:47Z

by Bernays, Paul, 1888-1977.
ScienceDirect http://www.sciencedirect.com/science/book/9780720422849 ScienceDirect http://www.sciencedirect.com/science/bookseries/0049237X/84
Format: Elektronik Kaynak

Set theory : with an introduction to descriptive set theory

2024-05-28T13:46:47Z

by Kuratowski, Kazimierz, 1896-1980.
ScienceDirect http://www.sciencedirect.com/science/book/9780720404708
Format: Elektronik Kaynak

Large infinitary languages : model theory

2024-05-28T13:46:47Z

by Dickmann, M. A., 1940-
ScienceDirect http://www.sciencedirect.com/science/book/9780444106223 ScienceDirect https://www.sciencedirect.com/science/publication?issn=0049237X&volume=83
Format: Elektronik Kaynak

Proof theory

2024-05-28T13:46:47Z

by Takeuti, Gaisi, 1926-2017.
ScienceDirect http://www.sciencedirect.com/science/book/9780444104922 ScienceDirect http://www.sciencedirect.com/science/bookseries/0049237X/81
Format: Elektronik Kaynak

Generalized recursion theory : Proceedings of the 1972 Oslo symposium

2024-05-28T13:46:47Z

by Symposium on Generalized Recursion Theory (1st : 1972 : University of Oslo)
ScienceDirect http://www.sciencedirect.com/science/book/9780444105455
Format: Elektronik Kaynak