Imagen de Portada

Theory of formal systems /

Guardado en:

Autor Principal:	Smullyan, Raymond M.
Formato:	Libro
Idioma:	English
Publicado:	Princeton, New Jersey : Princeton University Press, 1961.
Edición:	Rev. ed.
Series:	Annals of mathematics studies ; no. 47
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Formal systems and recursive functions. /
por: Crossley, J. N.
Publicado: (1965) - Rev. ed.

Mathematical interpretation of formal systems /
Publicado: (1955) - Rev. ed.

Computer programming and formal systems /
Publicado: (1963) - Rev. ed.

Jewels of formal language theory /
por: Salomaa, Arto.
Publicado: (1981) - Rev. ed.

A theory of formal deducibility /
por: Curry, Haskell B. 1900-
Publicado: (1966) - Rev. ed.

A theory of formal deducibility /
por: Curry, Haskell B. 1900-
Publicado: (1950) - Rev. ed.

Introduction to formal language theory /
por: Harrison, Michael A.
Publicado: (1978) - Rev. ed.

The formal theory of differential equations /
por: Chrastina, Jan.
Publicado: (1998) - Rev. ed.

Formal Models of Operating System Kernels
por: Craig, Iain D.
Publicado: (2007) - Rev. ed.

Formal Refinement for Operating System Kernels
por: Craig, Iain D.
Publicado: (2007) - Rev. ed.

Formal Models of Communicating Systems Languages, Automata, and Monadic Second-Order Logic /
por: Bollig, Benedikt.
Publicado: (2006) - Rev. ed.

Formalizing Medieval Logical Theories Suppositio, Consequentiae and Obligationes /
por: Dutilh Novaes, Catarina.
Publicado: (2007) - Rev. ed.

Introduction to the formal design of real-time systems /
por: Gray, David, 1946-
Publicado: (1999) - Rev. ed.

A formal model of visualization in computer graphics systems /
por: Onodera, Tamiya, 1959-
Publicado: (1990) - Rev. ed.

Formal systems and recursive functions : proceedings of the Eighth Logic Colloquium, Oxford, July 1963 /
Publicado: (1965) - Rev. ed.

A formalization of set theory without variables /
por: Tarski, Alfred.
Publicado: (1987) - Rev. ed.

Formal Methods in Software and Systems Modeling Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday /
por: Kreowski, Hans-Jörg.
Publicado: (2005) - Rev. ed.

Formal logic /
por: Prior, A. N. 1914-1969.
Publicado: (1955) - Rev. ed.

Formal languages /
por: Salomaa, Arto.
Publicado: (1973) - Rev. ed.

Formal logic /
por: Lorenzen, Paul, 1915-1994.
Publicado: (1965) - Rev. ed.

Sistemas formales. /
por: Lungarzo, Carlos A.
Publicado: (1971) - Rev. ed.

Formale Logik.
por: Lorenzen, Paul, 1915-1994.
Publicado: (1962) - Rev. ed.

Ancient formal logic /
por: Bochenski, I. M.
Publicado: (1957) - Rev. ed.

Ancient formal logic /
por: Bochenski, Joseph M., 1902-
Publicado: (1951) - Rev. ed.

A history of formal logic /
por: Bochenski, I. M.
Publicado: (1961) - Rev. ed.

Formal Modeling and Analysis of Timed Systems 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007. Proceedings /
por: Raskin, Jean-François.
Publicado: (2007) - Rev. ed.

Formal Modeling and Analysis of Timed Systems 4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006. Proceedings /
por: Asarin, Eugene.
Publicado: (2006) - Rev. ed.

Formal Modeling and Analysis of Timed Systems Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005. Proceedings /
por: Pettersson, Paul.
Publicado: (2005) - Rev. ed.

Formal Approaches to Agent-Based Systems Third International Workshop, FAABS 2004, Greenbelt, MD, April 26-27, 2004, Revised Selected Papers /
por: Hinchey, Michael G.
Publicado: (2005) - Rev. ed.

Formal Methods and Hybrid Real-Time Systems Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays /
por: Jones, Cliff B.
Publicado: (2007) - Rev. ed.

Formal Techniques for Computer Systems and Business Processes European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005. Proceedings /
por: Bravetti, Mario.
Publicado: (2005) - Rev. ed.

Formal Methods for Open Object-Based Distributed Systems 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007. Proceedings /
por: Bonsangue, Marcello M.
Publicado: (2007) - Rev. ed.

The mathematical theory of linear systems /
por: Brown, B.M.
Publicado: (1961) - Rev. ed.

System Analysis: Theory and Applications
por: Zgurovsky, M. Z.
Publicado: (2007) - Rev. ed.

Market theory and the price system /
por: Kirzner, Israel M.
Publicado: (1963) - Rev. ed.

The theory of Eisenstein systems /
por: Osborne, M. Scott.
Publicado: (1981) - Rev. ed.

Thermodynamic formalism : the mathematical structures of equilibrium statistical mechanics /
por: Ruelle, David.
Publicado: (2004) - Rev. ed.

Sentences undecidable in formalized arithmetic : an exposition of the theory of Kurt Gödel /
por: Mostowski, Andrzej.
Publicado: (1952) - Rev. ed.

Historia de la logica formal /
por: Bochenski, I. M.
Publicado: (1976) - Rev. ed.

Stroh Formalism and Rayleigh Waves
por: Tanuma, Kazumi.
Publicado: (2007) - Rev. ed.