Resultados da busca - matemática simbólica

361

Language in action : categories, lambdas and dynamic logic /

por Benthem, J. F. A. K. van
Assuntos: “...Lógica simbólica e matemática....”

Mais informações

Livro

Adicionar à cesta Retirar da cesta
Salvar na lista

Na minha lista:
362

Intuitionistic logic model theory and forcing /

por Fitting, Melvin
Assuntos: “...Lógica simbólica e matemática....”

Mais informações

Livro

Adicionar à cesta Retirar da cesta
Salvar na lista

Na minha lista:
363

Applied Proof Theory Proof Interpretations and Their Use in Mathematics /

por Kohlenbach, Ulrich., SpringerLink (Online service)
Assuntos: “...Lógica simbólica e matemática....”

Mais informações

Digital

Adicionar à cesta Retirar da cesta
Salvar na lista

Na minha lista:
364

The search for mathematical roots, 1870-1940 : logics, set theories and the foundations of mathematics from Cantor through Russell to Gödel /

por Grattan-Guinness, I.
Assuntos: “...Lógica simbólica e matemática -...”

Mais informações

Livro

Adicionar à cesta Retirar da cesta
Salvar na lista

Na minha lista:
365

Gramática filosófica /

por Wittgenstein, Ludwig, Rhees, Rush, Borges, Luís Carlos.
Assuntos: “...Lógica simbólica e matemática....”

Mais informações

Livro

Adicionar à cesta Retirar da cesta
Salvar na lista

Na minha lista:
366

Automated theorem proving : theory and practice /

por Newborn, Monty.
Assuntos: “...Lógica simbólica e matemática....”

Mais informações

Livro

Adicionar à cesta Retirar da cesta
Salvar na lista

Na minha lista:
367

Clausal form logic : an introduction to the logic of computer reasoning /

por Richards, Tom.
Assuntos: “...Lógica simbólica e matemática....”

Mais informações

Livro

Adicionar à cesta Retirar da cesta
Salvar na lista

Na minha lista:
368

Foundations of logic and theory of computation /

por Sernadas, Amílcar., Sernadas, Cristina.
Assuntos: “...Lógica simbólica e matemática....”

Mais informações

Livro

Adicionar à cesta Retirar da cesta
Salvar na lista

Na minha lista:
369

Thinking about Gödel and Turing : essays on complexity, 1970-2007 /

por Chaitin, Gregory J.
Assuntos: “...Lógica simbólica e matemática....”

Mais informações

Livro

Adicionar à cesta Retirar da cesta
Salvar na lista

Na minha lista:
370

Investigações filosóficas /

por Wittgenstein, Ludwig, Bruni, José Carlos
Assuntos: “...Lógica simbólica e matemática....”

Mais informações

Livro

Adicionar à cesta Retirar da cesta
Salvar na lista

Na minha lista:
371

The axiom of choice /

por Bell, J. L.
Assuntos: “...Lógica simbólica e matemática....”

Mais informações

Livro

Adicionar à cesta Retirar da cesta
Salvar na lista

Na minha lista:
372

In pursuit of the traveling salesman : mathematics at the limits of computation /

por Cook, William
Assuntos: “...Lógica simbólica e matemática....”

Mais informações

Livro

Adicionar à cesta Retirar da cesta
Salvar na lista

Na minha lista:
373

Symbolic logic and mechanical theorem proving /

por Chang, Chin-Liang, Chang, Chin-Liang, Lee, Richard Char-Tung.
Assuntos: “...Lógica simbólica e matemática....”

Mais informações

Livro

Adicionar à cesta Retirar da cesta
Salvar na lista

Na minha lista:
374

Beyond two : theory and applications of multiple-valued logic /

por Fitting, Melvin, Orlowska, Ewa.
Assuntos: “...Lógica simbólica e matemática....”

Mais informações

Livro

Adicionar à cesta Retirar da cesta
Salvar na lista

Na minha lista:
375

Proofs and fundamentals : a first course in abstract mathematics /

por Bloch, Ethan D.
Assuntos: “...Lógica simbólica e matemática....”

Mais informações

Livro

Adicionar à cesta Retirar da cesta
Salvar na lista

Na minha lista:
376

Investigações filosóficas /

por Wittgenstein, Ludwig, Lacey, Hugh, Moore, G. E.
Assuntos: “...Lógica simbólica e matemática....”

Mais informações

Livro

Adicionar à cesta Retirar da cesta
Salvar na lista

Na minha lista:
377

Proofs and fundamentals : a first course in abstract mathematics /

por Bloch, Ethan D.
Assuntos: “...Lógica simbólica e matemática....”

Mais informações

Livro

Adicionar à cesta Retirar da cesta
Salvar na lista

Na minha lista:
378

Investigações filosóficas /

por Wittgenstein, Ludwig, Bruni, José Carlos
Assuntos: “...Lógica simbólica e matemática....”

Mais informações

Livro

Adicionar à cesta Retirar da cesta
Salvar na lista

Na minha lista:
379

The age of alternative logics : assessing philosophy of logic and mathematics today /

por Benthem, Johan Van., Heinzmann, Gerhard., Visser, Henk.
Assuntos: “...Lógica simbolica e matemática....”

Mais informações

Livro

Adicionar à cesta Retirar da cesta
Salvar na lista

Na minha lista:
380

Commonsense reasoning /

por Mueller, Erik T.
Assuntos: “...Lógica, simbólica e matemática -...”

Mais informações

Livro

Adicionar à cesta Retirar da cesta
Salvar na lista

Na minha lista:
381

Nonmonotonic logics : basic concepts, results, and techniques /

por Schlechta, Karl
Assuntos: “...Lógica simbólica e matemática -...”

Mais informações

Livro

Adicionar à cesta Retirar da cesta
Salvar na lista

Na minha lista:
382

The logic of information structures /

por Wansing, H. (Heinrich).
Assuntos: “...Lógica simbólica e matemática -...”

Mais informações

Livro

Adicionar à cesta Retirar da cesta
Salvar na lista

Na minha lista:
383

Computability computable functions, logic and the foundations of mathematics /

por Epstein, Richard L., Carnielli, Walter A. (Walter Alexandre)
Assuntos: “...Lógica simbólica e matemática....”

Mais informações

Livro

Adicionar à cesta Retirar da cesta
Salvar na lista

Na minha lista:
384

Past, present and future /

por Prior, Arthur N.
Assuntos: “...Lógica simbólica e matemática....”

Mais informações

Livro

Adicionar à cesta Retirar da cesta
Salvar na lista

Na minha lista:
385

Reasoning about theoretical entities /

por Forster, Thomas.
Assuntos: “...Lógica simbólica e matemática....”

Mais informações

Livro

Adicionar à cesta Retirar da cesta
Salvar na lista

Na minha lista:
386

Derivation and computation : taking the Curry-Howard correspondence seriously /

por Simmons, Harold
Assuntos: “...Lógica simbólica e matemática....”

Mais informações

Livro

Adicionar à cesta Retirar da cesta
Salvar na lista

Na minha lista:
387

Logic for computer scientists /

por Schoning, Uwe
Assuntos: “...Lógica simbólica e matemática -...”

Mais informações

Livro

Adicionar à cesta Retirar da cesta
Salvar na lista

Na minha lista:
388

Proceedings /

por Algebraic Logic and Universal Algebra in Computer Science Conference (1988 : Ames, Iowa, USA)., Bergman, C. H., Maddux, R. D., Pigozzi, Don
Assuntos: “...Lógica simbólica e matemática -...”

Mais informações

Livro

Adicionar à cesta Retirar da cesta
Salvar na lista

Na minha lista:
389

Raciocínio lógico e matemático: para os concursos de técnico, analista e perito do INSS e técnico e analista dos tribunais/

por Lanna, Valéria.
Assuntos: “...Lógica simbólica e matemática -...”

Mais informações

Livro

Adicionar à cesta Retirar da cesta
Salvar na lista

Na minha lista:
390

Proof theory /

por Pohlers, Wolfram.
Assuntos: “...Lógica simbólica e matemática....”

Mais informações

Livro

Adicionar à cesta Retirar da cesta
Salvar na lista

Na minha lista:
391

Logic, induction and sets /

por Forster, Thomas.
Assuntos: “...Lógica simbólica e matemática....”

Mais informações

Livro

Adicionar à cesta Retirar da cesta
Salvar na lista

Na minha lista:
392

Proofs of the Cantor-Bernstein theorem : a mathematical excursion /

por Hinkis, Arie.
Assuntos: “...Lógica simbólica e matemática....”

Mais informações

Livro

Adicionar à cesta Retirar da cesta
Salvar na lista

Na minha lista:
393

Logics of Specification Languages

por Bjørner, Dines., Henson, Martin C., SpringerLink (Online service)
Assuntos: “...Lógica simbólica e matemática....”

Mais informações

Digital

Adicionar à cesta Retirar da cesta
Salvar na lista

Na minha lista:
394

Raciocínio lógico Cesgranrio /

por Quilelli, Paulo
Assuntos: “...Lógica simbólica e matemática....”

Mais informações

Livro

Adicionar à cesta Retirar da cesta
Salvar na lista

Na minha lista:
395

Diagonalization and self-reference /

por Smullyan, Raymond M.
Assuntos: “...Lógica simbólica e matemática....”

Mais informações

Livro

Adicionar à cesta Retirar da cesta
Salvar na lista

Na minha lista:
396

Formal languages in logic : a philosophical and cognitive analysis /

por Novaes, Catarina Dutilh
Assuntos: “...Lógica simbólica e matemática....”

Mais informações

Livro

Adicionar à cesta Retirar da cesta
Salvar na lista

Na minha lista:
397

The calculus of computation : decision procedures with applications to verification /

por Bradley, Aaron R., Manna, Zohar.
Assuntos: “...Lógica simbólica e matemática....”

Mais informações

Livro

Adicionar à cesta Retirar da cesta
Salvar na lista

Na minha lista:
398

Mechanizing mathematical reasoning : essays in honor of Jörg H. Siekmann on the occasion of his 60th birthday /

por Siekmann, Jörg H., Hutter, Dieter., Stephan, Werner.
Assuntos: “...Logica simbólica e matemática....”

Mais informações

Livro

Adicionar à cesta Retirar da cesta
Salvar na lista

Na minha lista:
399

Many-valued logics /

por Bolc, Leonard, Borowik, Piotr
Assuntos: “...Lógica simbólica e matemática -...”

Mais informações

Livro

Adicionar à cesta Retirar da cesta
Salvar na lista

Na minha lista:
400

Nonclassical logics and information processing /

por Pearce, David A., Wansing, H. (Heinrich), International Workshop on Nonclassical logics and Information Processing ;
Assuntos: “...Lógica simbólica e matemática -...”

Mais informações

Livro

Adicionar à cesta Retirar da cesta
Salvar na lista

Na minha lista:

[1]
Anterior
1
2
3
4
5
6
7
8
9
10
11
Seguinte
[11]