QR kód

Non-classical logics, model theory, and computability : proceedings of the 3rd Latin-American symposium on mathematical logic ; Campinas, Brazil, July 11-17, 1976 /

Uložené v:

Podrobná bibliografia
Korporativný autor:	Non-classical logics, model theory, and computability Campinas, Brazil
Ďalší autori:	Arruda, A. I. (Ayda Ignez) (Editor), Costa, Newton C. A. da (Editor), Chuaqui, R. (Editor)
Médium:	Konferenčný príspevok.. Kniha
Jazyk:	English
Vydavateľské údaje:	Amsterdam : North-Holland, 1977
Edícia:	Studies in logic and the foundations of mathematics ; vol. 89
Predmet:	logika teória kalkulov
ISBN:	0720407524
On-line prístup:
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!

Podobné jednotky

Non-clasical logics, model theory and computability.
Vydavateľské údaje: (1977)

Digital logic : basic theory and practice /
Autor: Smith, J. H.
Vydavateľské údaje: (1971)

The evolution of type theory in logic and mathematics /
Autor: Laan, Twan Dismas Laurens
Vydavateľské údaje: (1997)

Journal of Applied Non-Classical Logics

An algebraic approach to non-classical logics.
Autor: Rasiowa, Helena
Vydavateľské údaje: (1974)

ACM transactions on computational logic
Vydavateľské údaje: (2000)

Notes on the limits to knowledge explored with Darwinian logic /
Autor: Marchetti, Cesare
Vydavateľské údaje: (1998)

Logic colloquium '85 : Proceedings of the colloquium, Orsay, France, July 1985 /
Autor: Burdman Feferman, Anita
Vydavateľské údaje: (1987)

Orthomodular structures as quantum logics /
Autor: Pták, Pavel 1947-
Vydavateľské údaje: (1991)

Deductive databases and logic programming /
Autor: Das, Subrata Kumar
Vydavateľské údaje: (1992)

A resolution method for some systems of modal logic /
Autor: Sommerhalder, Rudolf
Vydavateľské údaje: (1992)

Logic for problem solving /
Autor: Kowalski, Robert, 1941-
Vydavateľské údaje: (1979)

The concepts and logic of classical thermodynamics as a theory of heat engines /
Autor: Truedell, Cliford Ambrose, a ďalší
Vydavateľské údaje: (1977)

Quantum logic spectroscopy of atomic and molecular ions /
Autor: Wan, Yong 1983-
Vydavateľské údaje: (2014)

33rd international symposium on multiple-valued logic : Proceedings, Tokyo, Japan, 16 - 19 May 2003 /
Autor: Zadeh, Lotfi Asker 1921-
Vydavateľské údaje: (2003)

Non-classical continuum mechanics : Proceedings of the London Mathematical Soc. symposium, Durham, July 1986 /
Autor: Burridge, R.
Vydavateľské údaje: (1987)

Model theory for modal logic : kripke models for modal predicate calculi /
Autor: Bowen, Kenneth
Vydavateľské údaje: (1979)

Optimization and computational logic /
Autor: Macaloon, Ken
Vydavateľské údaje: (1996)

Fundamentals of computer logic /
Autor: Hutchison, David
Vydavateľské údaje: (1981)

Automation of reasoning. Vol. 1. Classical papers on computational logic. 1957 - 1966 /
Autor: Davis, M.
Vydavateľské údaje: (1983)

Automation of reasoning. Vol. 2. Classical papers on computational logic. 1967 - 1970 /
Autor: Wos, L.
Vydavateľské údaje: (1983)

Measure theory : proceedings of the 3rd winter school, Liptovský Ján, 16 - 23, 1993 /
Autor: Palko, Vladimír
Vydavateľské údaje: (1993)

Mathematical logic /
Autor: Demlová, Marie
Vydavateľské údaje: (1999)

Mathematical logic /
Autor: Flum, Jörg, a ďalší
Vydavateľské údaje: (1984)

Introduction to mathematical logic : set theory. Computable functions. Model theory /
Autor: Malitz, Jerome
Vydavateľské údaje: (1979)

Quantum Computation and Logic How Quantum Computers Have Inspired Logical Investigations /
Autor: Dalla Chiara, Maria Luisa
Vydavateľské údaje: (2018)

Computer science and multiple-valued logic theory and applications /
Vydavateľské údaje: (1977)

Computational logic : symposium proceedings, Brussels, Belgium, November 13/14, 1990 /
Vydavateľské údaje: (1990)

Introduction to logic circuit theory /
Autor: Aleksander, I.
Vydavateľské údaje: (1970)

Logic design and witching theory /
Autor: Muroga, Saburo
Vydavateľské údaje: (1979)

Computer arithmetic. Logic and design /
Autor: Spaniol, Otto
Vydavateľské údaje: (1981)

Computer logic, testing and verification /
Autor: Roth, John Paul
Vydavateľské údaje: (1980)

Logical design for computers and control /
Autor: Dodd, K. N.
Vydavateľské údaje: (1972)

Digital logic and computer design /
Autor: Mano, M. Morris
Vydavateľské údaje: (1979)

Generalized Models and Non-classical Approaches in Complex Materials 1
Vydavateľské údaje: (2018)

Generalized Models and Non-classical Approaches in Complex Materials 2
Vydavateľské údaje: (2018)

The elements of mathematical logic /
Autor: Rosenbloom, Paul C.
Vydavateľské údaje: (1950)

Handbook of mathematical logic /
Autor: Aczel, Peter
Vydavateľské údaje: (1977)

Philosophical and Mathematical Logic
Autor: de Swart, Harrie
Vydavateľské údaje: (2018)

Mathematical logic and formalized theories : a survey of basic concepts and results /
Autor: Rogers, Robert
Vydavateľské údaje: (1974)