A structuralist theory of logic /

Na minha lista:

Detalhes bibliográficos
Autor principal:	Koslow, Arnold.
Formato:	Livro
Publicado em:
Assuntos:	Logica simbólica e matemática. Implicação (Lógica). Estruturalismo.
Endereço do item:	https://app.bczm.ufrn.br/home/#/item/88532
Tags:	Adicionar Tag Sem tags, seja o primeiro a adicionar uma tag!

Registros relacionados

Set theory, logic, and their limitations /
por: Machover, Moshé.
Publicado em: (2022)

Many-dimensional modal logics : theory and applications /
por: Gabbay, Dov M.,
Publicado em: (2022)

Logic, sets, and recursion /
por: Causey, Robert L.
Publicado em: (2022)

Theory of logical calculi : basic theory of consequence operations /
por: Wójcicki, Ryszard.
Publicado em: (2022)

Completeness Theory for Propositional Logics
por: Pogorzelski, Witold A., et al.
Publicado em: (2022)

In the light of logic /
por: Feferman, Solomon,
Publicado em: (2022)

Symbolic logic and the game of logic / Lewis Carroll. -
por: Carroll, Lewis,
Publicado em: (2022)

Introduction to logic /
por: Suppes, Patrick,
Publicado em: (2022)

What logics mean : from proof theory to model-theoretic semantics /
por: Garson, James W.,
Publicado em: (2022)

A first course in logic : an introduction to model theory, proof theory, computability, and complexity /
por: Hedman, Shawn.
Publicado em: (2022)

Logic for mathematics and computer science /
por: Burris, Stanley N.
Publicado em: (2022)

Advanced logic for applications /
por: Grandy, Richard E.
Publicado em: (2022)

Language, proof and logic /
por: Barwise, Jon., et al.
Publicado em: (2022)

Logical options: an introduction to classical and alternative logics /
por: Bell, John L., et al.
Publicado em: (2022)

An introduction to mathematical logic and type theory : to truth through proof /
por: Andrews, P. B.
Publicado em: (2022)

From a logical point of view /
por: Quine, W. V.
Publicado em: (2022)

Categorical logic and type theory /
por: Jacobs, Bart.
Publicado em: (2022)

Logic: techniques of formal reasoning/
por: Kalish, Donald., et al.
Publicado em: (2022)

Elements of mathematical logic /
por: Novikov, P. S.
Publicado em: (2022)

Introduction to logic : predicate logic /
por: Pospesel, Howard,
Publicado em: (2022)

Logical forms : an introduction to philosophical logic /
por: Sainsbury, R. M.
Publicado em: (2022)

Predicate logic : the semantic foundations of logic/
por: Epstein, Richard L.
Publicado em: (2022)

Formal logic : its scope and limits /
por: Jeffrey, Richard C.
Publicado em: (2022)

Proof theory for fuzzy logics /
por: Metcalfe, George, et al.
Publicado em: (2022)

The logic book /
por: Bergmann, Merrie, et al.
Publicado em: (2022)

Beyond two : theory and applications of multiple-valued logic /
por: Fitting, Melvin,, et al.
Publicado em: (2022)

The logic of provability /
por: Boolos, George S.
Publicado em: (2022)

A course in mathematical logic /
por: Manin, Yu. I.
Publicado em: (2022)

Logics of time and computation /
por: Goldblatt, Robert,
Publicado em: (2022)

Metamathematics of fuzzy logic /
por: Hájek, Petr.
Publicado em: (2022)

Introductory modal logic /
por: Konyndyk, Kenneth.
Publicado em: (2022)

An introduction to paraconsistent logics /
por: Bremer, Manuel Eugen.
Publicado em: (2022)

Introduction to logic : propositional logic /
por: Pospesel, Howard,, et al.
Publicado em: (2022)

Logic of mathematics : a modern course of classical logic /
por: Adamowicz, Zofia, et al.
Publicado em: (2022)

Advances in modal logic /
por: Balbiani, Philippe.
Publicado em: (2022)

Advances in modal logic /
por: Governatori, Guido., et al.
Publicado em: (2022)

Advances in modal logic /
por: Areces, Carlos., et al.
Publicado em: (2022)

A course in mathematical logic for mathematicians /
por: Manin, ëIìU. I.
Publicado em: (2022)

A new introduction to modal logic /
por: Hughes, G. E., et al.
Publicado em: (2022)

Bounded arithmetic, propositional logic, and complexity theory /
por: Krajicek, Jan.
Publicado em: (2022)